Movatterモバイル変換

PinnedLoading

Public

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

TypeScript 526 46

Public

A workspace for jsCoq addons

Makefile 2

Public

Basic coqdoc template for jsCoq

JavaScript

Public

Coq WebAssembly interface

TypeScript 3 3

Showing 10 of 25 repositories

jscoq Public
A port of Coq to Javascript -- Run Coq in your Browser
jscoq/jscoq’s past year of commit activity
TypeScript 526 46 71 (4 issues need help) 11 UpdatedOct 24, 2024
addons Public
A workspace for jsCoq addons
jscoq/addons’s past year of commit activity
Makefile0 2 0 0 UpdatedSep 16, 2024
addon-mathcomp Public
Mathematical Components addon for jsCoq
jscoq/addon-mathcomp’s past year of commit activity
Makefile0 2 0 0 UpdatedSep 16, 2024
coqdoc-template Public
Basic coqdoc template for jsCoq
jscoq/coqdoc-template’s past year of commit activity
JavaScript0Unlicense0 0 1 UpdatedMay 21, 2024
addon-unimath Public
UniMath addon for jsCoq
jscoq/addon-unimath’s past year of commit activity
HTML00 0 0 UpdatedOct 1, 2023
addon-software-foundations Public
Software Foundations book libraries addon for jsCoq
jscoq/addon-software-foundations’s past year of commit activity
Makefile 10 1 0 UpdatedOct 1, 2023
jscoq.github.io Public
jsCoq Public Website
jscoq/jscoq.github.io’s past year of commit activity
Coq 4 1 0 3 UpdatedAug 8, 2023
addon-htt Public
Hoare Type Theory addon for jsCoq
jscoq/addon-htt’s past year of commit activity
Makefile00 0 0 UpdatedJul 2, 2023
addon-fcsl-pcm Public
Partial Commutative Monoids addon for jsCoq
jscoq/addon-fcsl-pcm’s past year of commit activity
Makefile00 0 0 UpdatedJul 2, 2023
addon-hott Public
Homotopy Type Theory for jsCoq
jscoq/addon-hott’s past year of commit activity
Makefile00 0 0 UpdatedApr 21, 2023

Navigation Menu