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

5K 3 0
Arthur742Ramos
isabelle-blueprint

Project planning, dependency tracking, and AI-task orchestration for Isabelle formalization projects.

5K 4 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.

2K 2 0
philzook58
knuckledragger

A Low Barrier Proof Assistant

493 169 9
EugeneLoy
coq-jupyter

Coq kernel for Jupyter

395 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.

365 23 3
daviddoret
punctilious

A human-friendly and developer-friendly math proof assistant

296 3 0
vishk23
arbiter-debate

Formally verified multi-agent debates

287 0 0
daviromero
nadia-proof

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

224 32 3
colltoaction
widip

A higher-order computing system

169 31 3
maxtheman
proofs

This is a proofs validator to help students and hobbyists do mathematical thinking and problem solving.

146 0 1