search

math-comp / hierarchy-builder

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

hnf is broken in master #395

Open gares opened 11 months ago

gares commented 11 months ago

the test is also silly