corwin.amber
This addon provides a completion hint for CodeMirror which allows to use the backslash key `\` to compose Unicode characters in TeX style.
published version 1.0.0, 6 years agoA port of Coq to JavaScript -- run Coq in your browser
published version 0.17.1, 2 years ago- published version 1.0.0, 6 years ago
A port of Coq to JavaScript -- run Coq in your browser
published version 0.11.0-rc2, 5 years agoOCaml runtime compiled to WebAssembly (wasi-sdk-12)
published version 4.12.0-0, 4 years agoOCaml standard library + ocaml + ocamlc (byte)
published version 4.7.2, 5 years agoOCaml standard library + ocaml + ocamlc (byte)
published version 4.8.1-1, 5 years agoOCaml standard library + ocaml + ocamlc (byte)
published version 4.9.2, 5 years agoOCaml standard library + ocaml + ocamlc (byte)
published version 4.10.1-rc1, 5 years agoExtract Zip files to physical folder or memfs (Node.js & browser)
published version 3.4.0-0, 5 years agoThe legacy Num library for arbitrary-precision integer and rational arithmetic (WASM port)
published version 1.4.0, 5 years agoMathematical Components 1.16.0 for jsCoq
published version 0.17.1, 2 years agoSoftware Foundations (Mar 2021, LF+PLF) for jsCoq
published version 0.17.1, 2 years agoA POSIX-like runtime environment on top of Wasmer-JS
published version 0.1.6, 4 years agoWASM Binaries of the Coq Proof Assistant (for jsCoq)
published version 0.16.0, 3 years agoPartial Commutative Monoids for jsCoq
published version 0.17.1, 2 years ago
