search

math-comp / hierarchy-builder

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

testing mathcomp-analysis #422

Closed CohenCyril closed 3 months ago