coq-modules « development « pkgs - mirror/nixpkgs

Mode	Name	Size
d---------	Cheerios	39	log plain
d---------	CoLoR	39	log plain
d---------	HoTT	39	log plain
d---------	ITree	39	log plain
d---------	InfSeqExt	39	log plain
d---------	LibHyps	39	log plain
d---------	QuickChick	39	log plain
d---------	StructTact	39	log plain
d---------	VST	39	log plain
d---------	Velisarios	39	log plain
d---------	Verdi	39	log plain
d---------	aac-tactics	39	log plain
d---------	addition-chains	39	log plain
d---------	autosubst	39	log plain
d---------	bignums	39	log plain
d---------	category-theory	39	log plain
d---------	ceres	39	log plain
d---------	compcert	39	log plain
d---------	contribs	39	log plain
d---------	coq-bits	39	log plain
d---------	coq-elpi	39	log plain
d---------	coq-ext-lib	39	log plain
d---------	coq-haskell	39	log plain
d---------	coq-lsp	39	log plain
d---------	coq-record-update	39	log plain
d---------	coqeal	39	log plain
d---------	coqhammer	39	log plain
d---------	coqide	39	log plain
d---------	coqprime	39	log plain
d---------	coqtail-math	39	log plain
d---------	coquelicot	39	log plain
d---------	corn	39	log plain
d---------	deriving	39	log plain
d---------	dpdgraph	39	log plain
d---------	equations	39	log plain
d---------	extructures	39	log plain
d---------	fiat	36	log plain
d---------	flocq	39	log plain
d---------	fourcolor	39	log plain
d---------	gaia-hydras	39	log plain
d---------	gaia	39	log plain
d---------	gappalib	39	log plain
d---------	goedel	39	log plain
d---------	graph-theory	39	log plain
d---------	heq	39	log plain
d---------	hierarchy-builder	39	log plain
d---------	hydra-battles	39	log plain
d---------	interval	39	log plain
d---------	iris-named-props	39	log plain
d---------	iris	39	log plain
d---------	itauto	75	log plain
d---------	ltac2	39	log plain
d---------	math-classes	39	log plain
d---------	mathcomp-abel	39	log plain
d---------	mathcomp-algebra-tactics	39	log plain
d---------	mathcomp-analysis	39	log plain
d---------	mathcomp-apery	39	log plain
d---------	mathcomp-bigenough	39	log plain
d---------	mathcomp-finmap	39	log plain
d---------	mathcomp-infotheo	39	log plain
d---------	mathcomp-real-closed	39	log plain
d---------	mathcomp-tarjan	39	log plain
d---------	mathcomp-word	39	log plain
d---------	mathcomp-zify	39	log plain
d---------	mathcomp	39	log plain
d---------	metacoq	39	log plain
d---------	metalib	39	log plain
d---------	multinomials	39	log plain
d---------	odd-order	39	log plain
d---------	paco	39	log plain
d---------	paramcoq	39	log plain
d---------	parsec	39	log plain
d---------	pocklington	39	log plain
d---------	reglang	39	log plain
d---------	relation-algebra	39	log plain
d---------	semantics	39	log plain
d---------	serapi	277	log plain
d---------	simple-io	75	log plain
d---------	smpl	39	log plain
d---------	smtcoq	121	log plain
d---------	stdpp	39	log plain
d---------	tlc	39	log plain
d---------	topology	39	log plain
d---------	trakt	39	log plain
d---------	vcfloat	39	log plain
d---------	zorns-lemma	39	log plain