abtsousa / proverx-helper-functions Goto Github PK
View Code? Open in Web Editor NEWWork-in-progress. Small helper Python functions I made while working for LaiTeP in NOVA (Laboratory for Augmented Intelligence in Theorem Proving). ProverX is an extension of Prover9 and is automated theorem prover available at http://proverx.com