GitHub / 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
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/abtsousa%2FProverX-Helper-Functions
Stars: 0
Forks: 0
Open issues: 0
License: None
Language: Python
Size: 1.95 KB
Dependencies parsed at: Pending
Created at: almost 2 years ago
Updated at: over 1 year ago
Pushed at: almost 2 years ago
Last synced at: over 1 year ago
Topics: ai, artificial-intelligence, automated, automated-theorem-provers, first-order-logic, generative-model, logic, math, prover9, proverx, python