partial-commutative-monoid

There are 0 repository under partial-commutative-monoid topic.

• imdea-software / fcsl-pcm

  Partial Commutative Monoids

  partial-commutative-monoidseparation-logiccoqcoq-libraryconcurrency
  Language:Coq 25