issues
search
leanprover
/
leanprover.github.io
www
https://lean-lang.org/
15
stars
24
forks
source link
chore: remove extra slides from community-meeting-oct-2023
#106
Closed
semorrison
closed
9 months ago