https://github.com/imdea-software/fcsl-pcm
Coq23
last year
Partial Commutative Monoids
Apache License 2.0
Hoare Type Theory
Coq63apache-2.0
6 months ago
coqhoare-logichoare-monads