mathlib
46a64b5b - feat(*): bump to lean 3.50.3 (#18016)
Commit
View On GitHub
Commit
2 years ago
feat(*): bump to lean 3.50.3 (#18016) Co-authored-by: Junyan Xu <junyanxumath@gmail.com>
Author
gebner gebner
Parents
79ceafba
FAQ Terms Privacy Refunds Impressum
Loading