https://github.com/jscoq/jscoq

A port of Coq to Javascript -- Run Coq in your Browser
https://github.com/jscoq/jscoq

coq integrated-development-environment javascript proof-assistant

Last synced: 28 days ago
JSON representation

A port of Coq to Javascript -- Run Coq in your Browser

• Host: GitHub
• URL: https://github.com/jscoq/jscoq
• Owner: jscoq
• License: other
• Created: 2015-05-12T20:29:34.000Z (over 9 years ago)
• Default Branch: v8.20+lsp
• Last Pushed: 2024-09-27T16:02:37.000Z (about 1 month ago)
• Last Synced: 2024-09-29T10:42:08.566Z (about 1 month ago)
• Topics: coq, integrated-development-environment, javascript, proof-assistant
• Language: TypeScript
• Homepage: https://jscoq.github.io
• Size: 14.2 MB
• Stars: 510
• Watchers: 19
• Forks: 42
• Open Issues: 78
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGES.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE
  • Code of conduct: CODE_OF_CONDUCT.md

Awesome Lists containing this project

• awesome-coq - jsCoq - Port of Coq to JavaScript, which enables running Coq projects in a browser. (Projects / User Interfaces)