issues
search
leanprover-community
/
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
https://leanprover-community.github.io/
MIT License
54
stars
123
forks
source link
chore: update links
#389
Closed
alexjbest
closed
1 year ago
PatrickMassot
commented
1 year ago
Thanks!
Thanks!