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

Mode	Name	Size
l---------	AUTHORS	13	log plain
l---------	CeCILL-B	14	log plain
l---------	INSTALL.md	16	log plain
-rw-r--r--	INSTALL.pg	1944	log plain
-rw-r--r--	Make	511	log plain
-rw-r--r--	Makefile	137	log plain
l---------	README.md	15	log plain
-rw-r--r--	all_ssreflect.v	466	log plain
-rw-r--r--	bigop.v	83572	log plain
-rw-r--r--	binomial.v	24533	log plain
-rw-r--r--	choice.v	28986	log plain
-rw-r--r--	div.v	39291	log plain
-rw-r--r--	eqtype.v	38717	log plain
-rw-r--r--	finfun.v	20248	log plain
-rw-r--r--	fingraph.v	37605	log plain
-rw-r--r--	finset.v	91621	log plain
-rw-r--r--	fintype.v	89095	log plain
-rw-r--r--	generic_quotient.v	27498	log plain
-rw-r--r--	order.v	287944	log plain
-rw-r--r--	path.v	62518	log plain
-rw-r--r--	pg-ssr.el	1919	log plain
-rw-r--r--	prime.v	58782	log plain
-rw-r--r--	seq.v	144470	log plain
-rw-r--r--	ssrAC.v	10866	log plain
-rw-r--r--	ssrbool.v	14816	log plain
-rw-r--r--	ssreflect.v	6196	log plain
-rw-r--r--	ssrfun.v	1105	log plain
-rw-r--r--	ssrmatching.v	37	log plain
-rw-r--r--	ssrnat.v	77049	log plain
-rw-r--r--	ssrnotations.v	6272	log plain
-rw-r--r--	tuple.v	15947	log plain