jscoq

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

OTHER License

Downloads

289

Stars

510

Committers

View Code on GitHub Visit Website

Ecosystems: Coq, JavaScript

No README available, please check again later.

Package Rankings

Top 7.13% on Npmjs.org

Related Projects

pycoq

Python bindings for the Coq interactive proof assistant

23 Sep 2021 50

coq-rust-extraction

Coq plugin for extracting Rust code

07 Oct 2022 10

vscoq

Coq Support for Visual Studio Code

12 Jan 2016 91

hs-to-coq

Convert Haskell source code to Coq source code.

03 Nov 2020 77

vscoq

Visual Studio Code extension for Coq

10 Jul 2019 335

coqtail-math

Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Re...

12 Oct 2020 15

proofs

My personal repository of formally verified mathematics.

04 Jul 2017 286

WasmCert-Coq

A mechanisation of Wasm in Coq

18 Jun 2020 90

pnp

Lecture notes for a short course on proving/programming in Coq via SSReflect.

20 May 2014 159

coq-to-ocaml-to-js

Proof of concept to generate safe and fast JavaScript

24 Oct 2019 25

GeoCoq

A formalization of geometry in Coq based on Tarski's axiom system

15 Jul 2015 181

coq-elm-extraction

Coq plugin for extracting Elm code

13 Oct 2022 2

vstyle-tools

A formatter/linter for Coq source

06 Dec 2021 14

sisyphus

Mostly Automated Proof Repair for Verified Libraries

19 Feb 2022 4

coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

08 Feb 2019 129