Propriétaire · leanprover-community

leanprover-community

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

4 dépôts

#1
mathlib4 ↗@leanprover-communityLean
La bibliothèque mathématique de Lean 4.
★ 3 989+15Évolution des étoiles sur les 7 derniers jours
#2
physlib ↗@leanprover-communityLean
Un projet visant à numériser des résultats de physique dans Lean.
★ 719+4Évolution des étoiles sur les 7 derniers jours
#3
mathematics_in_lean ↗@leanprover-communityHTML
Le dépôt utilisateur pour le tutoriel Mathematics in Lean.
★ 584+2Évolution des étoiles sur les 7 derniers jours
#4
lean4game ↗@leanprover-communityTypeScript
Serveur pour héberger des jeux Lean.
★ 549+5Évolution des étoiles sur les 7 derniers jours