search

math-comp / hierarchy-builder

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

make copy-pack-holes failsafe #433

Closed gares closed 2 months ago

gares commented 2 months ago

@pi8027 please add a test