search

leanprover / leanprover.github.io

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

Various updates #108

Closed Kha closed 10 months ago

Kha commented 10 months ago

Preview at https://deploy-preview-108--lean-lang.netlify.app/