ssreflect « mathcomp - coq-mathcomp - Library of mathematical components formalized in Coq

Mode	Name	Size
l---------	AUTHORS	17	log plain
l---------	CeCILL-B	18	log plain
l---------	INSTALL	20	log plain
-rw-r--r--	INSTALL.pg	1944	log plain
-rw-r--r--	Make	293	log plain
-rw-r--r--	Makefile	697	log plain
-rw-r--r--	Makefile.coq-makefile	380	log plain
-rw-r--r--	Makefile.detect-coq-version	825	log plain
l---------	README	16	log plain
-rw-r--r--	all_ssreflect.v	422	log plain
-rw-r--r--	bigop.v	73894	log plain
-rw-r--r--	binomial.v	23552	log plain
-rw-r--r--	choice.v	28090	log plain
-rw-r--r--	descr	390	log plain
-rw-r--r--	div.v	34848	log plain
-rw-r--r--	eqtype.v	31873	log plain
-rw-r--r--	finfun.v	11988	log plain
-rw-r--r--	fingraph.v	26848	log plain
-rw-r--r--	finset.v	85019	log plain
-rw-r--r--	fintype.v	77445	log plain
-rw-r--r--	generic_quotient.v	27726	log plain
-rw-r--r--	opam	898	log plain
-rw-r--r--	path.v	34036	log plain
-rw-r--r--	pg-ssr.el	1919	log plain
d---------	plugin	94	log plain
-rw-r--r--	prime.v	57124	log plain
-rw-r--r--	seq.v	90584	log plain
-rw-r--r--	ssrbool.v	88107	log plain
-rw-r--r--	ssreflect.v	22571	log plain
-rw-r--r--	ssrfun.v	41864	log plain
-rw-r--r--	ssrmatching.v	1078	log plain
-rw-r--r--	ssrnat.v	58139	log plain
-rw-r--r--	tuple.v	14965	log plain