Skip to content

feat: add Higman infinite finitely-presented simple group eval problem#384

Merged
kim-em merged 2 commits into
mainfrom
knill-§122-higman-infinite-simple
Jun 3, 2026

Hidden character warning

The head ref may contain hidden characters: "knill-\u00a7122-higman-infinite-simple"
Merged

feat: add Higman infinite finitely-presented simple group eval problem#384
kim-em merged 2 commits into
mainfrom
knill-§122-higman-infinite-simple

Commits

Commits on Jun 2, 2026

Commits on Jun 3, 2026