leanprover-community/mathematics_in_lean
@leanprover-communityDas Benutzer-Home-Repository für das Mathematics in Lean-Tutorial.
Sterne
584
Forks
414
Sprache
HTML
Lizenz
Apache-2.0
Letzter Push
vor 2 Wochen
Verwandte Intel (0)
Noch keine verwandte Intel
Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.