fcsl-pcm

Partial Commutative Monoids

26 stars

11 watching

12 forks

Language: Coq

last commit: 17 days ago

Linked from 2 awesome lists

concurrencycoqcoq-librarypartial-commutative-monoidseparation-logic

Backlinks from these awesome lists: