https://github.com/erikmd/tryjscoq

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

Last synced: 17 days ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/erikmd/tryjscoq
• Owner: erikmd
• Created: 2017-01-26T12:01:34.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2020-03-20T17:31:52.000Z (almost 5 years ago)
• Last Synced: 2024-11-06T07:44:06.901Z (2 months ago)
• Language: Coq
• Homepage:
• Size: 73.3 MB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# jsCoq

Sources of the website 

This repository reuses content written by Enrico Tassi and relies on

the following projects:

* [jscoq](https://github.com/ejgallego/jscoq)

* [jscoq-builds](https://github.com/ejgallego/jscoq-builds)

* [Blob.js](https://github.com/eligrey/Blob.js)

* [FileSaver.js](https://github.com/eligrey/FileSaver.js)