[go: nahoru, domu]
Skip to content
@jscoq

jsCoq

A JavaScript port of Coq

Pinned Loading

  1. jscoq jscoq Public

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

    TypeScript 504 42

  2. wacoq-bin wacoq-bin Public

    Coq WebAssembly interface

    TypeScript 3 3

  3. coqdoc-template coqdoc-template Public

    Basic coqdoc template for jsCoq

    JavaScript

Repositories

Showing 10 of 25 repositories
  • coqdoc-template Public

    Basic coqdoc template for jsCoq

    jscoq/coqdoc-template’s past year of commit activity
    JavaScript 0 Unlicense 0 0 1 Updated May 21, 2024
  • jscoq Public

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

    jscoq/jscoq’s past year of commit activity
    TypeScript 504 42 66 (4 issues need help) 7 Updated Nov 13, 2023
  • addons Public

    A workspace for jsCoq addons

    jscoq/addons’s past year of commit activity
    Makefile 0 2 0 0 Updated Oct 14, 2023
  • addon-unimath Public

    UniMath addon for jsCoq

    jscoq/addon-unimath’s past year of commit activity
    HTML 0 0 0 0 Updated Oct 1, 2023
  • addon-software-foundations Public

    Software Foundations book libraries addon for jsCoq

    jscoq/addon-software-foundations’s past year of commit activity
    Makefile 1 0 1 0 Updated Oct 1, 2023
  • jscoq.github.io Public

    jsCoq Public Website

    jscoq/jscoq.github.io’s past year of commit activity
    Coq 4 1 0 3 Updated Aug 8, 2023
  • addon-htt Public

    Hoare Type Theory addon for jsCoq

    jscoq/addon-htt’s past year of commit activity
    Makefile 0 0 0 0 Updated Jul 2, 2023
  • addon-fcsl-pcm Public

    Partial Commutative Monoids addon for jsCoq

    jscoq/addon-fcsl-pcm’s past year of commit activity
    Makefile 0 0 0 0 Updated Jul 2, 2023
  • addon-hott Public

    Homotopy Type Theory for jsCoq

    jscoq/addon-hott’s past year of commit activity
    Makefile 0 0 0 0 Updated Apr 21, 2023
  • addon-quickchick Public

    QuickChick addon for jsCoq

    jscoq/addon-quickchick’s past year of commit activity
    Makefile 0 0 0 0 Updated Apr 20, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…