search

imdea-software / fcsl-pcm

Partial Commutative Monoids
Apache License 2.0
25 stars 12 forks source link

Use Mathcomp's Docker images to speed CI up #20

Closed anton-trunov closed 4 years ago