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

WIP: add ITP 2025 papers

Open grunweg opened this issue 2 months ago • 0 comments

Currently, this also removes a number of previously present tags of articles; that part obviously needs to be reverted.

Help with that (and with tagging the new articles) is very welcome!

grunweg avatar Oct 13 '25 12:10 grunweg