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: 5 months 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 10 years ago)
• Default Branch: v8.20+lsp
• Last Pushed: 2024-10-24T22:21:23.000Z (12 months ago)
• Last Synced: 2025-04-13T23:54:08.002Z (6 months ago)
• Topics: coq, integrated-development-environment, javascript, proof-assistant
• Language: TypeScript
• Homepage: https://jscoq.github.io
• Size: 14.4 MB
• Stars: 525
• Watchers: 18
• Forks: 46
• Open Issues: 82
• 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)