Adapt w.r.t. coq/coq#16904.

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

740 stars 67 forks source link

Closed ppedrot closed 1 year ago

jwiegley commented 1 year ago

Thank you for this change, it looks like the dev version of equations is failing at the moment, but this PR is good to go.

ppedrot commented 1 year ago

Equations should probably be running correctly these days.