issues
search
imdea-software
/
fcsl-pcm
Partial Commutative Monoids
Apache License 2.0
26
stars
12
forks
source link
add (iterated) separating conjuction for pcms
#30
Closed
clayrat
closed
2 years ago