Alle Tags
Katalog-Tag

#lean4

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.

13 Einträge
Getaggt als „lean4“Geordnet nach Gesundheitsindex
—
82GutGesundheitsindex
leanprover-community/mathlib4
The math library of Lean 4
Lean★ 3.60116. Juli 2026
Apache-2.016. Juli 2026 · Metriken 1.13.0
npm
72GutGesundheitsindex
google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean.
Lean★ 1.05319. Juli 2026
Apache-2.019. Juli 2026 · Metriken 1.13.0
—
68MittelGesundheitsindex
leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Lean★ 40617. Juli 2026
Apache-2.017. Juli 2026 · Metriken 1.13.0
—
68MittelGesundheitsindex
leanprover/std4
The "batteries included" extended library for the Lean programming language and theorem prover
Lean★ 40718. Juli 2026
Apache-2.018. Juli 2026 · Metriken 1.13.0
npm
64MittelGesundheitsindex
leanprover-community/proofwidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Lean · TypeScript★ 216↓ 13/Monat17. Juli 2026
Apache-2.017. Juli 2026 · Metriken 1.13.0
—
64MittelGesundheitsindex
leanprover/doc-gen4
Document Generator for Lean 4
Lean · Python★ 16119. Juli 2026
Apache-2.019. Juli 2026 · Metriken 1.13.0
PyPI
60MittelGesundheitsindex
AxiomMath/axiom-lean-engine
Lean evaluation and metaprogramming utilities for provers.
Python★ 137↓ 5.215/Monat19. Juli 2026
MIT19. Juli 2026 · Metriken 1.13.0
—
60MittelGesundheitsindex
leanprover-community/aesop
White-box automation for Lean 4
Lean★ 38015. Juli 2026
Apache-2.015. Juli 2026 · Metriken 1.13.0
—
59MittelGesundheitsindex
leanprover/lean4-cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Lean★ 11317. Juli 2026
MIT17. Juli 2026 · Metriken 1.13.0
—
57MittelGesundheitsindex
leanprover-community/quote4
Intuitive, type-safe expression quotations for Lean 4.
Lean★ 11117. Juli 2026
Apache-2.017. Juli 2026 · Metriken 1.13.0
—
56MittelGesundheitsindex
leanprover-community/import-graph
Tool to analyse the import structure of lean projects.
Lean · HTML★ 2217. Juli 2026
Apache-2.017. Juli 2026 · Metriken 1.13.0
—
51MittelGesundheitsindex
dupuisf/bibtexquery
A simple command-line bibtex query utility written in Lean 4
Lean★ 1117. Juli 2026
Apache-2.017. Juli 2026 · Metriken 1.13.0
npm · PyPI
41GefährdetGesundheitsindex
sthamann/tfpt
Topological Fixed-Point Theory: a machine-checked discrete compiler for the Standard Model, α⁻¹, and cosmology from two axioms. Papers, verification suite (Python/Wolfram/Lean), experiments & website.
Python · TeX · TypeScript★ 71521. Juli 2026
Keine Lizenz21. Juli 2026 · Metriken 1.13.0