PyPI Stats

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
gift-framework
giftpy

GIFT mathematical core - Formally verified constants (Lean 4)

7K 2 0
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.

759 0 0
EugeneLoy
coq-jupyter

Coq kernel for Jupyter

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

351 22 3
daviddoret
punctilious

A human-friendly and developer-friendly math proof assistant

305 3 0
philzook58
knuckledragger

A Low Barrier Proof Assistant

226 164 9
daviromero
nadia-proof

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

182 31 2
colltoaction
widip

A higher-order computing system

160 31 3
maxtheman
proofs

Mathematical proof assistant for students and amateurs.

146 0 1