Refactor graphs with updates from Beyond finite sets#879
Draft
EgbertRijke wants to merge 12 commits intoUniMath:masterfrom EgbertRijke:refactor-graphs
+1,315-368
Commits
Commits on Oct 22, 2023
- committed
- committed
- committed
- committed
- committed
Commits on Oct 23, 2023
- committed