search

math-comp / hierarchy-builder

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

HB.saturate: take a cs pattern as a filter #414

Closed gares closed 3 months ago

CohenCyril commented 3 months ago

@gares why is this a draft btw?

gares commented 3 months ago

no need