jsCoq

A JavaScript port of Coq

Pinned Repositories

addon-pnp
Proofs and Programs book addon for jsCoq
Language:Makefile0 3 00
addon-snu-sflib
SNU's sflib addon for jsCoq
Language:Makefile0 3 00
addon-software-foundations
Software Foundations book libraries addon for jsCoq
Language:Makefile1 3 10
addon-stdpp
Coq-std++ addon
Language:Makefile0 2 00
addon-unimath
UniMath addon for jsCoq
Language:HTML0 2 00
addons
A workspace for jsCoq addons
Language:Makefile0 3 02
coqdoc-template
Basic coqdoc template for jsCoq
Language:JavaScript00
jscoq
A port of Coq to Javascript -- Run Coq in your Browser
Language:TypeScript507 19 18142
jscoq.github.io
jsCoq Public Website
Language:Coq4 3 01
wacoq-bin
Coq WebAssembly interface
Language:TypeScript3 2 03

jsCoq's Repositories

jscoq/jscoq
A port of Coq to Javascript -- Run Coq in your Browser
Language:TypeScript507 19 18142
jscoq/jscoq.github.io
jsCoq Public Website
Language:Coq4 3 01
jscoq/wacoq-bin
Coq WebAssembly interface
Language:TypeScript3 2 03
jscoq/addon-software-foundations
Software Foundations book libraries addon for jsCoq
Language:Makefile1 3 10
jscoq/addon-elpi
Elpi addon plugin for jsCoq
Language:JavaScript0 3 02
jscoq/addon-equations
Coq-Equations addon for jsCoq
Language:Makefile01
jscoq/addon-hahn
Hahn for jsCoq
Language:Makefile0 3 01
jscoq/addon-paco
Paco addon for jsCoq
Language:Makefile0 3 00
jscoq/addon-pnp
Proofs and Programs book addon for jsCoq
Language:Makefile0 3 00
jscoq/addon-quickchick
QuickChick addon for jsCoq
Language:Makefile0 3 00
jscoq/addon-simpleio
SimpleIO library addon for jsCoq
Language:Makefile0 3 00
jscoq/addon-snu-sflib
SNU's sflib addon for jsCoq
Language:Makefile0 3 00
jscoq/addon-stdpp
Coq-std++ addon
Language:Makefile0 2 00
jscoq/addon-unimath
UniMath addon for jsCoq
Language:HTML0 2 00
jscoq/addons
A workspace for jsCoq addons
Language:Makefile0 3 02
jscoq/coqdoc-template
Basic coqdoc template for jsCoq
Language:JavaScript00
jscoq/addon-coqoban
Coqoban - a fun interlude for jsCoq
Language:Makefile1 0
jscoq/addon-extlib
ExtLib library addon for jsCoq
Language:Makefile3 0
jscoq/addon-fcsl-pcm
Partial Commutative Monoids addon for jsCoq
Language:Makefile3 0
jscoq/addon-hott
Homotopy Type Theory for jsCoq
Language:Makefile
jscoq/addon-htt
Hoare Type Theory addon for jsCoq
Language:Makefile
jscoq/addon-iris
Iris addon for jsCoq
Language:Makefile1
jscoq/addon-mathcomp
Mathematical Components addon for jsCoq
Language:Makefile3 02
jscoq/addon-mathcomp-extra
More Mathematical Components for jsCoq
Language:Makefile2
jscoq/addon-promising
Promising Coq addon for jsCoq
Language:Makefile1