abtsousa / ProverX-Helper-Functions

Work-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

automated automated-theorem-provers logic math prover9 python proverx ai artificial-intelligence first-order-logic generative-model

This repository is not active

About

Work-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

automated automated-theorem-provers logic math prover9 python proverx ai artificial-intelligence first-order-logic generative-model

Languages

Language:Python 100.0%