search

math-comp / hierarchy-builder

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

[demo] Instance before structure+refactor instance #393

Closed gares closed 11 months ago