search

jaccokrijnen / plutus-cert

0 stars 2 forks source link

Rename flatten to revconcat #26

Open jaccokrijnen opened 1 year ago

jaccokrijnen commented 1 year ago

and lemmas like append_flatten.