coq-modules « development « pkgs « nixpkgs « libkookie « infra - kookienomicon - My personal project and infrastructure archive

Mode	Name	Size
d---------	Cheerios	39	log plain
d---------	CoLoR	39	log plain
d---------	HoTT	39	log plain
d---------	InfSeqExt	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---------	autosubst	106	log plain
d---------	bignums	39	log plain
d---------	category-theory	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---------	coqhammer	39	log plain
d---------	coqprime	39	log plain
d---------	coquelicot	39	log plain
d---------	corn	39	log plain
d---------	dpdgraph	39	log plain
d---------	equations	39	log plain
d---------	fiat	36	log plain
d---------	flocq	39	log plain
d---------	gappalib	39	log plain
d---------	heq	39	log plain
d---------	hierarchy-builder	39	log plain
d---------	interval	39	log plain
d---------	iris	39	log plain
d---------	ltac2	39	log plain
d---------	math-classes	39	log plain
d---------	mathcomp	76	log plain
d---------	metalib	39	log plain
d---------	paco	39	log plain
d---------	paramcoq	39	log plain
d---------	simple-io	39	log plain
d---------	stdpp	39	log plain
d---------	tlc	39	log plain