liamoc / hilbert

An intensely interactive, graphical theorem prover based on natural deduction
29Updated 10 years ago

Related projects

Alternatives and complementary repositories for hilbert