A programming language, half theorem prover - View it on GitHub