theories - coq - the Coq proof assistant

Mode	Name	Size
d---------	Arith	783	log plain
d---------	Bool	289	log plain
d---------	Classes	157	log plain
d---------	FSets	1157	log plain
d---------	Init	330	log plain
d---------	IntMap	547	log plain
d---------	Ints	201	log plain
d---------	Lists	304	log plain
d---------	Logic	1248	log plain
d---------	NArith	319	log plain
d---------	Numbers	179	log plain
d---------	Program	269	log plain
d---------	QArith	366	log plain
d---------	Reals	2175	log plain
d---------	Relations	295	log plain
d---------	Setoids	154	log plain
d---------	Sets	957	log plain
d---------	Sorting	229	log plain
d---------	Strings	71	log plain
d---------	Unicode	34	log plain
d---------	Wellfounded	439	log plain
d---------	ZArith	1133	log plain