—
leanprover-community/physlib
A project to digitalise results from physics into Lean.
Apache-2.021. Okt. 2026 · Metriken 2.10.0
Alle Tags
Katalog-Tag
#theorem-proving
Alle Repositories im öffentlichen Register, die dieses Tag tragen — aus ihren GitHub-Topics oder den von ihren Paket-Registries veröffentlichten Schlagwörtern. Die Gesundheit wird nach derselben versionierten Methodik gemessen wie im übrigen Register.
8 Einträge
PyPI
AxiomMath/axiom-lean-engine
Lean evaluation and metaprogramming utilities for provers.
MIT11. Sept. 2026 · Metriken 2.10.0
PyPI · npm
gowrishankar-infra/velaris-lang
A programming language where signatures declare types, effects, and machine-checked promises — proven with Z3, compiled with LLVM. Built for trusting AI-written code.
MIT15. Sept. 2026 · Metriken 2.10.0
—
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
MIT16. Sept. 2026 · Metriken 2.10.0
npm
SproutSeeds/erdos-problems
CLI and workspace for Paul Erdos problems.
MIT11. Sept. 2026 · Metriken 2.10.0
—
leanprover/Pantograph
(Mirror) A Machine-to-Machine Interaction System for Lean 4
Apache-2.020. Sept. 2026 · Metriken 2.10.0
PyPI
jtraverso/certo-math
Between having a mathematical idea and having a proof of it there is a lot of work that is not proving: find the object, break the false claims, measure what survives, reduce it to what it really is, assemble the rest. certo does that work, and every step returns a certificate anyone can re-check without trusting it. CLI + MCP.
MIT9. Okt. 2026 · Metriken 2.10.0
—
leanprover/lean3
Lean Theorem Prover
Apache-2.011. Sept. 2026 · Metriken 2.10.0