search

imdea-software / fcsl-pcm

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

adapt to coq/coq#19372 #42

Closed gares closed 1 month ago

gares commented 1 month ago

thanks!