Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: partial-commutative-monoid

imdea-software/fcsl-pcm

Partial Commutative Monoids

Language: Coq - Size: 773 KB - Last synced at: 1 day ago - Pushed at: about 1 month ago - Stars: 28 - Forks: 13

Related Keywords
concurrency 1 coq 1 coq-library 1 partial-commutative-monoid 1 separation-logic 1