port natmap to eqslices

imdea-software / fcsl-pcm

Partial Commutative Monoids

Apache License 2.0

25 stars 12 forks source link

Closed clayrat closed 1 year ago

clayrat commented 1 year ago

Also lift consec lemmas into a separate file, refactor seqextensions and bump dependencies