Code

category of group presentations#2172

Code

Closed

Alizter wants to merge 3 commits intoHoTT:masterHoTT/Coq-HoTT:masterfrom Alizter:ps/rr/category_of_group_presentationsAlizter/HoTT:ps/rr/category_of_group_presentationsCopy head branch name to clipboard

+319-34

Commits

Commits on Jan 1, 2025

• category of group presentations

  Show description for 56109f1
  Alizter

  committed
  56109f1

  Copy full SHA for 56109f1

Commits on Jan 4, 2025

• Merge branch 'master' into ps/rr/category_of_group_presentations

  Alizter

  authored
  ff8e2c9

  Copy full SHA for ff8e2c9

Commits on Jan 7, 2025

• Merge branch 'master' into ps/rr/category_of_group_presentations

  Alizter

  authored
  5ed4bff

  Copy full SHA for 5ed4bff