-
Notifications
You must be signed in to change notification settings - Fork 20
Pull requests: math-comp/hierarchy-builder
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Anomaly with universes for reverse_coercion symbol
#350
opened Apr 18, 2023 by
CohenCyril
•
Draft
updated Apr 26, 2023
Ongoing experiment with Iris hierarchy
#364
opened Jun 14, 2023 by
CohenCyril
Loading…
updated Jun 14, 2023
[refactor] instance declaration
#376
opened Aug 1, 2023 by
gares
Loading…
updated Mar 4, 2024
3 of 5 tasks
ProTip!
Adding no:label will show everything without a label.