theories - coq - the Coq proof assistant

Mode	Name	Size
d---------	Arith	814	log plain
d---------	Bool	327	log plain
d---------	FSets	782	log plain
d---------	Init	368	log plain
d---------	IntMap	689	log plain
d---------	Lists	301	log plain
d---------	Logic	923	log plain
d---------	NArith	217	log plain
d---------	Num	1079	log plain
d---------	Reals	2097	log plain
d---------	Relations	333	log plain
d---------	Setoids	111	log plain
d---------	Sets	995	log plain
d---------	Sorting	187	log plain
d---------	Strings	71	log plain
d---------	Wellfounded	477	log plain
d---------	ZArith	986	log plain