theories - coq - the Coq proof assistant

Mode	Name	Size
d---------	Arith	822	log plain
d---------	Bool	290	log plain
d---------	Classes	666	log plain
d---------	Compat	183	log plain
d---------	FSets	886	log plain
d---------	Init	436	log plain
d---------	Lists	351	log plain
d---------	Logic	1356	log plain
d---------	MSets	567	log plain
d---------	NArith	404	log plain
d---------	Numbers	370	log plain
d---------	PArith	225	log plain
d---------	Program	366	log plain
d---------	QArith	518	log plain
d---------	Reals	2404	log plain
d---------	Relations	225	log plain
d---------	Setoids	74	log plain
d---------	Sets	958	log plain
d---------	Sorting	305	log plain
d---------	Strings	109	log plain
d---------	Structures	616	log plain
d---------	Unicode	111	log plain
d---------	Vectors	224	log plain
d---------	Wellfounded	440	log plain
d---------	ZArith	1254	log plain