theories - coq - the Coq proof assistant

Mode	Name	Size
d---------	Arith	816	log plain
d---------	Bool	289	log plain
d---------	FSets	1157	log plain
d---------	Init	330	log plain
d---------	IntMap	547	log plain
d---------	Lists	304	log plain
d---------	Logic	1119	log plain
d---------	NArith	319	log plain
d---------	Num	1041	log plain
d---------	QArith	224	log plain
d---------	Reals	2139	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	1019	log plain