mathlib3
0805dc0f
- 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
#19192 - Test leanprover-community/lean#812
Author
eric-wieser
Parents
d3d53b33
Loading
