overlay for coq/coq#14137

jwiegley / category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

BSD 3-Clause "New" or "Revised" License

745 stars 68 forks source link

Closed Alizter closed 2 years ago

Alizter commented 2 years ago

Should be backwards compatible

coq/coq#14137

SkySkimmer commented 2 years ago

Please merge now

Alizter commented 2 years ago

ping @jwiegley