theories - coq - the Coq proof assistant

Mode	Name	Size
d---------	Arith	784	log plain
d---------	Bool	252	log plain
d---------	Classes	628	log plain
d---------	Compat	145	log plain
d---------	FSets	848	log plain
d---------	Init	474	log plain
d---------	Lists	313	log plain
d---------	Logic	1524	log plain
d---------	MSets	529	log plain
d---------	NArith	366	log plain
d---------	Numbers	495	log plain
d---------	PArith	187	log plain
d---------	Program	328	log plain
d---------	QArith	480	log plain
d---------	Reals	2366	log plain
d---------	Relations	187	log plain
d---------	Setoids	36	log plain
d---------	Sets	920	log plain
d---------	Sorting	267	log plain
d---------	Strings	71	log plain
d---------	Structures	578	log plain
d---------	Unicode	73	log plain
d---------	Vectors	186	log plain
d---------	Wellfounded	402	log plain
d---------	ZArith	1216	log plain