search

math-comp / hierarchy-builder

High level commands to declare a hierarchy based on packed classes
MIT License
95 stars 20 forks source link

broken in vscoq2 #397

Closed gares closed 2 months ago

gares commented 11 months ago

due to https://github.com/LPCIC/coq-elpi/issues/519