https://github.com/imdea-software/fcsl-pcm
Coq26
2 months ago
Partial Commutative Monoids
Apache License 2.0
