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
Add myself to map
#420
Closed
hrmacbeth
closed
10 months ago