Comment by vnjxk

Isn't there a math theorem programming language or something?