erikmd/tryjscoq

Try Coq in your browser using jsCoq - https://erikmd.github.io/tryjscoq - https://erikmd.github.io/tryjscoq/tapfa/preuves.v

jsCoq

Sources of the website https://erikmd.github.io/tryjscoq

This repository reuses content written by Enrico Tassi and relies on the following projects:

• jscoq
• jscoq-builds
• Blob.js
• FileSaver.js