Skip to content

WildCat, Groupoid, Group - Solvers#1119

Draft
marcinjangrzybowski wants to merge 24 commits into
agda:masterfrom
marcinjangrzybowski:groupoid-solve
Draft

WildCat, Groupoid, Group - Solvers#1119
marcinjangrzybowski wants to merge 24 commits into
agda:masterfrom
marcinjangrzybowski:groupoid-solve

Commits

Commits on Mar 13, 2024

Commits on Mar 24, 2024

Commits on Mar 25, 2024

Commits on Mar 28, 2024

Commits on Apr 2, 2024