This CoqBan allows you to directly execute your Coq code uploaded to Gist.
You can try it here!
You can start up a development server by following the steps below.
$ yarn install
$ yarn build
$ yarn dev
This CoqBan allows you to directly execute your Coq code uploaded to Gist.
You can try it here!
You can start up a development server by following the steps below.
$ yarn install
$ yarn build
$ yarn devhttps://proof-ninja.github.io/coqban/