PyRank

Automated Theorem Proving Python Packages

Python packages with the GitHub topic automated-theorem-proving. Sorted by relevance, with stars and monthly downloads.
Axiomatic-AI
ax-prover

A Minimal Agent for Automated Theorem Proving

1K 24 2
vladimir-skvortsov
ontol

A tool for parsing and visualizing ontology files written in the Ontol DSL

581 5 1