fcsl-pcm

Partial Commutative Monoids

Coq26apache-2.0

2 months ago

concurrencycoqcoq-library

monoid

monoid

Customisable coding font with alternates, ligatures and contextual positioning.

Python7861

4 years ago