Remove "work in progress" for Lean 4 manual

leanprover / leanprover.github.io

www

https://lean-lang.org/

15 stars 24 forks source link

Open hmonroe opened 6 months ago

Kha commented 6 months ago

It's still true

hmonroe commented 6 months ago

In what respects is it a work in progress? Perhaps I could help address issues