History


Analytica

A theorem prover that can be used to prove nontrivial theorems.

Submitted October 31, 2016 symbolic published