issues
search
math-comp
/
hierarchy-builder
High level commands to declare a hierarchy based on packed classes
MIT License
95
stars
21
forks
source link
Ongoing experiment with Iris hierarchy
#364
Open
CohenCyril
opened
1 year ago
CohenCyril
commented
1 year ago
@robbertkrebbers @FissoreD @gares
@robbertkrebbers @FissoreD @gares