Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by jscoq

A curated list of projects in awesome lists by jscoq .

https://github.com/jscoq/jscoq

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

coq integrated-development-environment javascript proof-assistant

Last synced: 04 Aug 2024