ayanamists/Prove

Prove Language is a programming language that you can use to prove your therom just like we do that in math.

Racket