Eigentümer · leanprover-community

leanprover-community

Erfasste Open-Source-Repos von leanprover-community, sortiert nach Sternen.

4 Repos

#1
mathlib4 ↗@leanprover-communityLean
Die Mathematikbibliothek von Lean 4
★ 3.989+15Sterne-Änderung der letzten 7 Tage
#2
physlib ↗@leanprover-communityLean
Ein Projekt zur Digitalisierung physikalischer Ergebnisse in Lean.
★ 721+4Sterne-Änderung der letzten 7 Tage
#3
mathematics_in_lean ↗@leanprover-communityHTML
Das Benutzer-Home-Repository für das Mathematics in Lean-Tutorial.
★ 584+2Sterne-Änderung der letzten 7 Tage
#4
lean4game ↗@leanprover-communityTypeScript
Server zum Hosten von Lean-Spielen
★ 549+5Sterne-Änderung der letzten 7 Tage