search

imdea-software / fcsl-pcm

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

Add CI #18

Closed anton-trunov closed 4 years ago