Todas las etiquetas
Etiqueta del catálogo

#lean3

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.

1 registro
Con la etiqueta «lean3»Ordenado por índice de salud
48En riesgoíndice de salud
leanprover-community/lean
Lean 3 Theorem Prover (community fork)
C++ · Lean★ 43221 jul 2026
Apache-2.021 jul 2026 · métricas 1.13.0