leanprover-community / mathematics_in_lean
git clone https://github.com/leanprover-community/mathematics_in_lean.git
The user home repository for the Mathematics in Lean tutorial.
+0
stars, 24h · #44,173
+~7
stars, 7 days · #15,346
+~30
stars, 30 days · #19,002
622
★ total · +1% this week
434
forks · 2 open issues
Star history (as recorded here)
LanguageHTML
LicenseApache-2.0
Created2020-04-25 (6y ago)
Last push1d ago
OwnerOrganization