mathlib
96d2ccbe - fix: bump to Lean 3.51.1 (#19088)
Commit
View On GitHub
Commit
2 years ago
fix: bump to Lean 3.51.1 (#19088) This should fix the web editor
Author
eric-wieser eric-wieser
Parents
ef95945c
FAQ Terms Privacy Refunds Impressum
Loading