jsCoq

Repositories

• jscoq

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

  javascript integrated-development-environment coq proof-assistant
  JavaScript 26 404 35 (6 issues need help) 2 Updated Jul 18, 2021

• addons

  A workspace for jsCoq addons
  Makefile 0 0 0 0 Updated Jul 16, 2021

• addon-fcsl-pcm

  Partial Commutative Monoids addon for jsCoq
  Makefile 0 0 0 0 Updated Jul 16, 2021

• addon-mathcomp-extra

  More Mathematical Components for jsCoq
  Makefile 0 0 0 0 Updated Jul 8, 2021

• jscoq.github.io

  jsCoq Public Website
  Coq 1 2 0 0 Updated Jul 6, 2021

• addon-pnp

  Proofs and Programs book addon for jsCoq
  Makefile 0 0 0 0 Updated Jul 4, 2021

• addon-elpi

  Elpi addon plugin for jsCoq
  Makefile 0 0 0 0 Updated Apr 30, 2021

• addon-snu-sflib

  SNU's sflib addon for jsCoq
  Makefile 0 0 0 0 Updated Apr 30, 2021

• addon-htt

  Hoare Type Theory addon for jsCoq
  Makefile 0 0 0 0 Updated Apr 30, 2021

• addon-hahn

  Hahn for jsCoq
  Makefile 0 0 0 0 Updated Apr 30, 2021

• addon-extlib

  ExtLib library addon for jsCoq
  Makefile 0 0 0 0 Updated Apr 30, 2021

• addon-promising

  Promising Coq addon for jsCoq
  Makefile 0 0 0 0 Updated Apr 30, 2021

• addon-paco

  Paco addon for jsCoq
  Makefile 0 0 0 0 Updated Apr 30, 2021

• addon-quickchick

  QuickChick addon for jsCoq
  Makefile 0 0 0 0 Updated Apr 30, 2021

• addon-simpleio

  SimpleIO library addon for jsCoq
  Makefile 0 0 0 0 Updated Apr 30, 2021

• addon-equations

  Coq-Equations addon for jsCoq
  Makefile 0 0 0 0 Updated Apr 30, 2021

• addon-mathcomp

  Mathematical Components addon for jsCoq
  Makefile 0 0 0 0 Updated Apr 30, 2021

• addon-software-foundations

  Software Foundations book libraries addon for jsCoq
  Makefile 0 0 0 0 Updated Apr 30, 2021