search

affeldt-aist / monae

Monadic effects and equational reasonig in Coq
GNU Lesser General Public License v2.1
68 stars 12 forks source link

this example should maybe be moved #142

Open affeldt-aist opened 2 months ago

affeldt-aist commented 2 months ago

https://github.com/affeldt-aist/monae/blob/3a844540c61c5715baf981142cc1909474d318ce/theories/lib/state_lib.v#L595

to array_lib.v?