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

2K 40 7
henryrobbins
open-atp

OpenATP is an open-source Python package providing a common interface for Automated Theorem Proving (ATP)

1K 17 0
vladimir-skvortsov
ontol

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

1K 5 1