search

leanprover / leanprover.github.io

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

Fix typos #91

Closed pitmonticone closed 1 year ago

Kha commented 1 year ago

Thanks!