search

imdea-software / fcsl-pcm

Partial Commutative Monoids
Apache License 2.0
25 stars 12 forks source link

Adapt w.r.t. coq/coq#16004. #34

Closed ppedrot closed 2 years ago

ppedrot commented 2 years ago

Should be backwards compatible.

clayrat commented 2 years ago

Thanks!