search

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.
https://leanprover-community.github.io/
MIT License
54 stars 123 forks source link

chore: add tags to all ITP24 papers #546

Closed grunweg closed 2 weeks ago

grunweg commented 2 weeks ago

I verified that all are using Lean 4. I am reasonably confident that 'formalization' is a reasonable categorisation of them all; I'm happy to change the tag for the duper paper.

fpvandoorn commented 2 weeks ago

I just merged the other PR to get both.