mathlib3
6e5ca7d0 - chore(*): Bump to Lean 3.42.1 (#13146)
Commit
View On GitHub
Commit
3 years ago
chore(*): Bump to Lean 3.42.1 (#13146)
Author
PatrickMassot PatrickMassot
Parents
d6731a48
FAQ Terms Privacy Refunds Impressum
Loading