manvithn

I tested out the prelaunch script idea and it seems to work pretty well. Lutris didn't seem to work with relative paths, but if you write the script like this,...

It looks like https://github.com/AsherGlick/Burrito/blob/master/.github/workflows/main.yml lists build commands. But yeah, I agree that including instructions in the README would be nice.

Hi, I'm also interesting in helping with this. Where are the formal semantics for Michelson defined in the "gas à tous les étages" branch? Also, is this repository a clone...

I'm not very familiar with ssreflect or mathcomp either. Is it possible to use the `coq-mathcomp-ssreflect` package instead of installing `coq-ssreflect` and `coq-mathcomp-algebra`? As I understand, there are some namespace...