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

1000.html: link IDs to their wikidata page

Open Ruben-VandeVelde opened this issue 1 year ago • 1 comments

Ruben-VandeVelde avatar Jan 10 '25 21:01 Ruben-VandeVelde

Nice idea! Could you add similar code to 1000-missing.html for completeness?

bryangingechen avatar Jan 10 '25 21:01 bryangingechen

awaiting-review

Ruben-VandeVelde avatar Jun 19 '25 19:06 Ruben-VandeVelde

Thanks!

bryangingechen avatar Jun 19 '25 19:06 bryangingechen