leanprover-community.github.io icon indicating copy to clipboard operation
leanprover-community.github.io copied to clipboard
verified publisher icon leanprover-community

todo/done toggles for overview.html and 100.html

Open jcommelin opened this issue 5 years ago • 0 comments

https://leanprover-community.github.io/100.html and https://leanprover-community.github.io/overview.html should have toggles to show/hide items that are todo/done.

jcommelin avatar Jun 05 '20 12:06 jcommelin