search

math-comp / hierarchy-builder

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

Batch accumulation #371

Closed gares closed 1 year ago

gares commented 1 year ago

Requires https://github.com/LPCIC/coq-elpi/pull/469