theories - coq - the Coq proof assistant

Mode	Name	Size
d---------	Arith	776	log plain
d---------	Bool	289	log plain
d---------	FSets	1157	log plain
d---------	Init	330	log plain
d---------	IntMap	547	log plain
d---------	Lists	263	log plain
d---------	Logic	1070	log plain
d---------	NArith	319	log plain
d---------	Num	1041	log plain
d---------	QArith	224	log plain
d---------	Reals	2059	log plain
d---------	Relations	295	log plain
d---------	Setoids	73	log plain
d---------	Sets	957	log plain
d---------	Sorting	229	log plain
d---------	Strings	71	log plain
d---------	Wellfounded	439	log plain
d---------	ZArith	981	log plain