search

leanprover / leanprover.github.io

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

fixes to documentation/ #100

Closed semorrison closed 10 months ago

semorrison commented 10 months ago

This will need a bigger rewrite for the release.