Propriétaire · leanprover

leanprover

Dépôts open source suivis de leanprover, triés par étoiles.

3 dépôts

#1
lean4 ↗@leanproverLean
Langage de programmation et assistant de preuve Lean 4.
★ 8 960+32Évolution des étoiles sur les 7 derniers jours
#2
cslib ↗@leanproverLean
La bibliothèque Lean Computer Science (CSLib).
★ 693+15Évolution des étoiles sur les 7 derniers jours
#3
elan ↗@leanproverRust
Le gestionnaire de version Lean
★ 614+8Évolution des étoiles sur les 7 derniers jours