search

semigroups / Semigroups

The GAP package Semigroups
https://semigroups.github.io/Semigroups/
Other
23 stars 35 forks source link

Etc code cov script #1018

Closed james-d-mitchell closed 3 months ago

james-d-mitchell commented 3 months ago

Add code-coverage scripts to etc