rocq-modules « development « pkgs - nixpkgs

Mode	Name	Size
d---------	CakeMLExtraction	39	log stats plain
d---------	CertiRocq	39	log stats plain
d---------	Cheerios	39	log stats plain
d---------	CoLoR	39	log stats plain
d---------	ConCert	39	log stats plain
d---------	ElmExtraction	39	log stats plain
d---------	ExtLib	39	log stats plain
d---------	HoTT	39	log stats plain
d---------	ITree	39	log stats plain
d---------	InfSeqExt	39	log stats plain
d---------	LibHyps	39	log stats plain
d---------	MenhirLib	39	log stats plain
d---------	Ordinal	39	log stats plain
d---------	QuickChick	39	log stats plain
d---------	RustExtraction	39	log stats plain
d---------	StructTact	39	log stats plain
d---------	TypedExtraction	39	log stats plain
d---------	VST	39	log stats plain
d---------	Velisarios	39	log stats plain
d---------	Verdi	39	log stats plain
d---------	Vpl	39	log stats plain
d---------	VplTactic	39	log stats plain
d---------	aac-tactics	39	log stats plain
d---------	addition-chains	39	log stats plain
d---------	async-test	39	log stats plain
d---------	atbr	39	log stats plain
d---------	autosubst-ocaml	39	log stats plain
d---------	autosubst	39	log stats plain
d---------	bbv	39	log stats plain
d---------	bignums	39	log stats plain
d---------	category-theory	39	log stats plain
d---------	ceres-bs	39	log stats plain
d---------	ceres	39	log stats plain
d---------	coinduction	39	log stats plain
d---------	compcert	39	log stats plain
d---------	contribs	39	log stats plain
d---------	coq-bits	39	log stats plain
d---------	coq-elpi	39	log stats plain
d---------	coq-hammer	78	log stats plain
d---------	coq-haskell	39	log stats plain
d---------	coq-lsp	83	log stats plain
d---------	coq-matrix	39	log stats plain
d---------	coq-record-update	39	log stats plain
d---------	coq-tactical	39	log stats plain
d---------	coqeal	39	log stats plain
d---------	coqfmt	39	log stats plain
d---------	coqhammer	39	log stats plain
d---------	coqide	39	log stats plain
d---------	coqprime	39	log stats plain
d---------	coqtail-math	39	log stats plain
d---------	coquelicot	39	log stats plain
d---------	coqutil	39	log stats plain
d---------	corn	39	log stats plain
d---------	deriving	39	log stats plain
d---------	dpdgraph	39	log stats plain
d---------	equations	39	log stats plain
d---------	extructures	39	log stats plain
d---------	fcsl-pcm	39	log stats plain
d---------	flocq	39	log stats plain
d---------	fourcolor	39	log stats plain
d---------	gaia-hydras	39	log stats plain
d---------	gaia	39	log stats plain
d---------	gappalib	39	log stats plain
d---------	goedel	39	log stats plain
d---------	graph-theory	39	log stats plain
d---------	heq	39	log stats plain
d---------	hierarchy-builder	39	log stats plain
d---------	high-school-geometry	39	log stats plain
d---------	http	39	log stats plain
d---------	hydra-battles	39	log stats plain
d---------	interval	39	log stats plain
d---------	iris-named-props	39	log stats plain
d---------	iris	39	log stats plain
d---------	itauto	75	log stats plain
d---------	itree-io	39	log stats plain
d---------	jasmin	39	log stats plain
d---------	json	39	log stats plain
d---------	lemma-overloading	39	log stats plain
d---------	ltac2	39	log stats plain
d---------	math-classes	39	log stats plain
d---------	mathcomp-abel	39	log stats plain
d---------	mathcomp-algebra-tactics	39	log stats plain
d---------	mathcomp-analysis	39	log stats plain
d---------	mathcomp-apery	39	log stats plain
d---------	mathcomp-bigenough	39	log stats plain
d---------	mathcomp-finmap	39	log stats plain
d---------	mathcomp-infotheo	39	log stats plain
d---------	mathcomp-real-closed	39	log stats plain
d---------	mathcomp-tarjan	39	log stats plain
d---------	mathcomp-word	39	log stats plain
d---------	mathcomp-zify	39	log stats plain
d---------	mathcomp	39	log stats plain
d---------	metacoq	39	log stats plain
d---------	metalib	39	log stats plain
d---------	metarocq	39	log stats plain
d---------	micromega-plugin	39	log stats plain
d---------	mtac2	39	log stats plain
d---------	multinomials	39	log stats plain
d---------	odd-order	39	log stats plain
d---------	paco	39	log stats plain
d---------	paramcoq	39	log stats plain
d---------	parsec	39	log stats plain
d---------	parseque	39	log stats plain
d---------	pocklington	39	log stats plain
d---------	reglang	39	log stats plain
d---------	relation-algebra	39	log stats plain
d---------	rewriter	39	log stats plain
d---------	rocq-elpi	39	log stats plain
d---------	rocqnavi	39	log stats plain
d---------	semantics	39	log stats plain
d---------	serapi	317	log stats plain
d---------	simple-io	75	log stats plain
d---------	smpl	39	log stats plain
d---------	smtcoq	39	log stats plain
d---------	ssprove	39	log stats plain
d---------	stalmarck	39	log stats plain
d---------	stdlib	39	log stats plain
d---------	stdpp	39	log stats plain
d---------	tlc	39	log stats plain
d---------	topology	39	log stats plain
d---------	trakt	39	log stats plain
d---------	unicoq	39	log stats plain
d---------	validsdp	39	log stats plain
d---------	vcfloat	39	log stats plain
d---------	verified-extraction	39	log stats plain
d---------	vscoq-language-server	39	log stats plain
d---------	vsrocq-language-server	39	log stats plain
d---------	wasmcert	75	log stats plain
d---------	waterproof	39	log stats plain
d---------	zorns-lemma	39	log stats plain