mathlib
d5309de6
- Update leanpkg.toml
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
2 years ago
Update leanpkg.toml
References
eric-wieser-patch-1
#19192 - Test leanprover-community/lean#812
Author
eric-wieser
Parents
0805dc0f
Loading
