Langage · Lean

Lean

Dépôts open source suivis ayant Lean pour langage principal, triés par étoiles.

12 dépôts

#1
lean4@leanproverLean
Langage de programmation et assistant de preuve Lean 4.
★ 8 920+46Évolution des étoiles sur les 7 derniers jours
#2
mathlib4@leanprover-communityLean
La bibliothèque mathématique de Lean 4.
★ 3 958+42Évolution des étoiles sur les 7 derniers jours
#3
analysis@teorthLean
Un compagnon léger pour l'Analyse I.
★ 1 876+10Évolution des étoiles sur les 7 derniers jours
#4
formal-conjectures@google-deepmindLean
Une collection d'énoncés formalisés de conjectures dans Lean.
★ 1 205+11Évolution des étoiles sur les 7 derniers jours
#5
FLT@ImperialCollegeLondonLean
Formalisation en cours du dernier théorème de Fermat avec Lean.
★ 982+9Évolution des étoiles sur les 7 derniers jours
#6
superhuman@google-deepmindLean
★ 794+5Évolution des étoiles sur les 7 derniers jours
#7
physlib@leanprover-communityLean
Un projet visant à numériser des résultats de physique dans Lean.
★ 712+9Évolution des étoiles sur les 7 derniers jours
#8
Cosette@uwdbLean
Cosette est un solveur SQL automatisé.
★ 686+0Évolution des étoiles sur les 7 derniers jours
#9
cslib@leanproverLean
La bibliothèque Lean Computer Science (CSLib).
★ 671+11Évolution des étoiles sur les 7 derniers jours
#10
smalltt@AndrasKovacsLean
Démonstration d'élaboration de théorie des types haute performance
★ 597+3Évolution des étoiles sur les 7 derniers jours
#11
equational_theories@teorthLean
Un projet visant à cartographier les relations entre les différentes théories équationnelles des Magmas.
★ 550+1Évolution des étoiles sur les 7 derniers jours
#12
SciLean@lecopivoLean
Calcul scientifique dans Lean 4
★ 525+2Évolution des étoiles sur les 7 derniers jours

← Retour aux langages