search

leanprover / leanprover.github.io

www
https://lean-lang.org/
15 stars 24 forks source link

talks/RacketCon2022.pdf missing #89

Closed herkhinah closed 1 year ago

herkhinah commented 1 year ago

The talks/RacketCon2022.pdf is missing. There is a dead link under Presentations to it.