Todas las etiquetas
Etiqueta del catálogo

#lean4

Todos los repositorios del registro público que llevan esta etiqueta, procedente de sus topics de GitHub o de las palabras clave que publican sus registros de paquetes. La salud se mide con la misma metodología versionada que el resto del registro.

13 registros
Con la etiqueta «lean4»Ordenado por índice de salud
—
82Buenoíndice de salud
leanprover-community/mathlib4
The math library of Lean 4
Lean★ 360116 jul 2026
Apache-2.016 jul 2026 · métricas 1.13.0
npm
72Buenoíndice de salud
google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean.
Lean★ 105319 jul 2026
Apache-2.019 jul 2026 · métricas 1.13.0
—
68Moderadoíndice de salud
leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Lean★ 40617 jul 2026
Apache-2.017 jul 2026 · métricas 1.13.0
—
68Moderadoíndice de salud
leanprover/std4
The "batteries included" extended library for the Lean programming language and theorem prover
Lean★ 40718 jul 2026
Apache-2.018 jul 2026 · métricas 1.13.0
npm
64Moderadoíndice de salud
leanprover-community/proofwidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Lean · TypeScript★ 216↓ 13/mes17 jul 2026
Apache-2.017 jul 2026 · métricas 1.13.0
—
64Moderadoíndice de salud
leanprover/doc-gen4
Document Generator for Lean 4
Lean · Python★ 16119 jul 2026
Apache-2.019 jul 2026 · métricas 1.13.0
PyPI
60Moderadoíndice de salud
AxiomMath/axiom-lean-engine
Lean evaluation and metaprogramming utilities for provers.
Python★ 137↓ 5215/mes19 jul 2026
MIT19 jul 2026 · métricas 1.13.0
—
60Moderadoíndice de salud
leanprover-community/aesop
White-box automation for Lean 4
Lean★ 38015 jul 2026
Apache-2.015 jul 2026 · métricas 1.13.0
—
59Moderadoíndice de salud
leanprover/lean4-cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Lean★ 11317 jul 2026
MIT17 jul 2026 · métricas 1.13.0
—
57Moderadoíndice de salud
leanprover-community/quote4
Intuitive, type-safe expression quotations for Lean 4.
Lean★ 11117 jul 2026
Apache-2.017 jul 2026 · métricas 1.13.0
—
56Moderadoíndice de salud
leanprover-community/import-graph
Tool to analyse the import structure of lean projects.
Lean · HTML★ 2217 jul 2026
Apache-2.017 jul 2026 · métricas 1.13.0
—
51Moderadoíndice de salud
dupuisf/bibtexquery
A simple command-line bibtex query utility written in Lean 4
Lean★ 1117 jul 2026
Apache-2.017 jul 2026 · métricas 1.13.0
npm · PyPI
41En riesgoíndice de salud
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 jul 2026
Sin licencia21 jul 2026 · métricas 1.13.0