jscoq

jscoq

https://github.com/jscoq/jscoq

TypeScript507

last year

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