jsCoq Addons Central

This is a meta-repo with references to jsCoq addon libraries as submodules. These submodules contain "recipes" for downloadining, compiling and packaging these libraries as jsCoq packages (.json and .coq-pkg files).

Name		Name	Last commit message	Last commit date
Latest commit History 70 Commits
_scripts		_scripts
coqoban @ f4e03a1		coqoban @ f4e03a1
elpi @ 2b63902		elpi @ 2b63902
equations @ 1066d1a		equations @ 1066d1a
extlib @ ae1056b		extlib @ ae1056b
fcsl-pcm @ f40aa00		fcsl-pcm @ f40aa00
hahn @ ea5f5d1		hahn @ ea5f5d1
htt @ 10ab512		htt @ 10ab512
iris @ 6c9b3d9		iris @ 6c9b3d9
mathcomp @ 89d79c2		mathcomp @ 89d79c2
mathcomp-extra @ 23bc47e		mathcomp-extra @ 23bc47e
paco @ 63718e9		paco @ 63718e9
pnp @ 516a29d		pnp @ 516a29d
promising @ ddcc637		promising @ ddcc637
quickchick @ 056370b		quickchick @ 056370b
simpleio @ c6691c4		simpleio @ c6691c4
snu-sflib @ 707afb1		snu-sflib @ 707afb1
software-foundations @ f92005b		software-foundations @ f92005b
stdpp @ 6f0a826		stdpp @ 6f0a826
.gitignore		.gitignore
.gitmodules		.gitmodules
Makefile		Makefile
README.md		README.md
dune		dune
dune-project		dune-project
dune-workspace		dune-workspace
dune-workspace.64		dune-workspace.64
dune-workspace.wacoq		dune-workspace.wacoq

jscoq/addons

Folders and files

Latest commit

History

Repository files navigation

jsCoq Addons Central

About

Resources

Stars

Watchers

Forks

Languages