search

math-comp / hierarchy-builder

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

Refactoring of the category theory example + removing plan B #389

Closed CohenCyril closed 1 year ago

CohenCyril commented 1 year ago

@gares do you approve of this?

gares commented 1 year ago

we passed the point of plan B