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
No commits in the last 6 months.
Stars
2
Forks
—
Language
Python
License
—
Category
Last pushed
Jul 11, 2023
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ml-frameworks/abtsousa/ProverX-Helper-Functions"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
yuce/pyswip
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
lab-v2/pyreason
An explainable inference software supporting annotated, real valued, graph based and temporal logic
TweetyProjectTeam/TweetyProject
TweetyProject is a collection of Java libraries that implement approaches to different areas of...
pushkar/ABAGAIL
The library contains a number of interconnected Java packages that implement machine learning...
amrinderarora/ai
Classical AI algorithms. Cutting edge, since 1960s. Amrinder Arora