PyPI Stats
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About
Home

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
evhub
pyprover

Resolution theorem proving for predicate logic in pure Python.

4K 97 11
lean-dojo
lean-dojo

Tool for data extraction and interacting with Lean programmatically.

2K 794 117
chanind
tensor-theorem-prover

Customizable first-order logic theorem prover supporting approximate vector similarity in unification

1K 13 1
lean-dojo
lean-dojo-v2

LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.

1K 77 13
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
coq-tactician
pytactician

An API for interfacing with Coq through Tactician by external agents

570 3 5
anqurvanillapy
tinylean

Tiny theorem prover with syntax like Lean 4 in <1K LOC

552 68 2
EugeneLoy
coq-jupyter

Coq kernel for Jupyter

453 95 9
cheuktingli
psitip

Python Symbolic Information Theoretic Inequality Prover

247 48 8
philzook58
knuckledragger

A Low Barrier Proof Assistant

226 164 9
fritzo
pomagma

Inference engine for extensional untyped λ-calculus

191 2 0
daniyal1249
nd-prover

Natural deduction proof generator & checker

181 2 1
mmsaki
jumla

Jumla generates Lean 4 verification datasets from Python code and tests.

140 0 0
    • Data from PyPI, GitHub, ClickHouse, and BigQuery