Repositories list

• jscoq

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

  javascriptintegrated-development-environmentproof-assistant+ 1coq

  TypeScript

  •

  Other

  •43•514•71•10•Updated Oct 24, 2024Oct 24, 2024

• addons

  Public
  A workspace for jsCoq addons

  Makefile

  •2•0•0•0•Updated Sep 16, 2024Sep 16, 2024

• addon-mathcomp

  Public
  Mathematical Components addon for jsCoq

  Makefile

  •2•0•0•0•Updated Sep 16, 2024Sep 16, 2024

• coqdoc-template

  Public
  Basic coqdoc template for jsCoq

  JavaScript

  •

  The Unlicense

  •0•0•0•1•Updated May 21, 2024May 21, 2024

• addon-unimath

  Public
  UniMath addon for jsCoq

  HTML

  •0•0•0•0•Updated Oct 1, 2023Oct 1, 2023

• addon-software-foundations

  Public
  Software Foundations book libraries addon for jsCoq

  Makefile

  •0•1•1•0•Updated Oct 1, 2023Oct 1, 2023

• jscoq.github.io

  Public
  jsCoq Public Website

  Coq

  •1•4•0•3•Updated Aug 8, 2023Aug 8, 2023

• addon-htt

  Public
  Hoare Type Theory addon for jsCoq

  Makefile

  •0•0•0•0•Updated Jul 2, 2023Jul 2, 2023

• addon-fcsl-pcm

  Public
  Partial Commutative Monoids addon for jsCoq

  Makefile

  •0•0•0•0•Updated Jul 2, 2023Jul 2, 2023

• addon-hott

  Public
  Homotopy Type Theory for jsCoq

  Makefile

  •0•0•0•0•Updated Apr 21, 2023Apr 21, 2023

• addon-quickchick

  Public
  QuickChick addon for jsCoq

  Makefile

  •0•0•0•0•Updated Apr 20, 2023Apr 20, 2023

• addon-equations

  Public
  Coq-Equations addon for jsCoq

  Makefile

  •1•0•0•0•Updated Apr 20, 2023Apr 20, 2023

• addon-elpi

  Public
  Elpi addon plugin for jsCoq

  JavaScript

  •2•0•0•0•Updated Apr 20, 2023Apr 20, 2023

• wacoq-bin

  Public
  Coq WebAssembly interface

  TypeScript

  •3•3•1•3•Updated Mar 14, 2023Mar 14, 2023

• addon-iris

  Public
  Iris addon for jsCoq

  Makefile

  •1•0•0•0•Updated Feb 20, 2023Feb 20, 2023

• addon-mathcomp-extra

  Public
  More Mathematical Components for jsCoq

  Makefile

  •2•0•0•1•Updated Feb 20, 2023Feb 20, 2023

• addon-hahn

  Public
  Hahn for jsCoq

  Makefile

  •1•0•0•0•Updated Feb 20, 2023Feb 20, 2023

• addon-promising

  Public
  Promising Coq addon for jsCoq

  Makefile

  •1•0•0•0•Updated Feb 20, 2023Feb 20, 2023

• addon-stdpp

  Public
  Coq-std++ addon

  Makefile

  •0•0•0•0•Updated Aug 23, 2022Aug 23, 2022

• addon-simpleio

  Public
  SimpleIO library addon for jsCoq

  Makefile

  •0•0•0•0•Updated Jul 3, 2022Jul 3, 2022

• addon-paco

  Public
  Paco addon for jsCoq

  Makefile

  •0•0•0•0•Updated Feb 6, 2022Feb 6, 2022

• addon-coqoban

  Public
  Coqoban - a fun interlude for jsCoq

  Makefile

  •0•0•0•0•Updated Jan 8, 2022Jan 8, 2022

• addon-pnp

  Public
  Proofs and Programs book addon for jsCoq

  Makefile

  •0•0•0•0•Updated Jan 8, 2022Jan 8, 2022

• addon-snu-sflib

  Public
  SNU's sflib addon for jsCoq

  Makefile

  •0•0•0•0•Updated Jan 8, 2022Jan 8, 2022

• addon-extlib

  Public
  ExtLib library addon for jsCoq

  Makefile

  •0•0•0•0•Updated Jan 8, 2022Jan 8, 2022