jscoq

jscoq

https://github.com/jscoq/jscoq

TypeScript507

12 months ago

Reviews

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

Search similar apps

License

Other

Share

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

Creator

jscoq

Related apps