search

math-comp / hierarchy-builder

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

Blacklist internal HB stuff for Search #418

Open CohenCyril opened 6 months ago

CohenCyril commented 6 months ago

Non exhaustive list of patterns: