PyRank

Proof Assistant Python Packages

Python packages with the GitHub topic proof-assistant. Sorted by relevance, with stars and monthly downloads.
gift-framework
giftpy

GIFT Core: Certified mathematical identities from E8×E8 gauge theory on G2 manifolds. Verified in Lean 4

6K 2 0
Lemmy00
lean-probe

Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.

900 0 0
philzook58
knuckledragger

A Low Barrier Proof Assistant

723 166 9
EugeneLoy
coq-jupyter

Coq kernel for Jupyter

581 95 9
daviromero
anita

ANITA is a proof assistant for teaching analytic tableaux to computer science students. ANITA allows students to write their proofs and automatically checks whether the proofs are correct and, if not, displays any errors found.

371 22 3
vishk23
arbiter-debate

Open-source framework for formally verifying academic paper claims using multi-agent LLM debate + Z3/Knuckledragger proof certificates. Supports OpenAI, Anthropic, Google, Grok.

302 0 0
daviromero
nadia-proof

Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style

219 32 3
maxtheman
proofs

Mathematical proof assistant for students and amateurs.

185 0 1
daviddoret
punctilious

A human-friendly and developer-friendly math proof assistant

185 3 0
colltoaction
widip

A higher-order computing system

139 31 3