knuth-bendix: do todos #212
james-d-mitchellAnnotations
4 errors
|
Formatting check (src)
Process completed with exit code 1.
|
|
Formatting check (benchmarks)
Process completed with exit code 1.
|
|
Formatting check (include/libsemigroups)
Process completed with exit code 1.
|
|
Formatting check (tests)
Process completed with exit code 1.
|