Folder: implementations

package info (click to toggle)

coq-math-classes 9.0.0-2

			.. (parent)
-	rw-r--r--	5,984	NType_naturals.v
-	rw-r--r--	5,009	QType_rationals.v
-	rw-r--r--	7,409	ZType_integers.v
-	rw-r--r--	932	bool.v
-	rw-r--r--	16,531	dyadics.v
-	rw-r--r--	1,166	fast_integers.v
-	rw-r--r--	175	fast_naturals.v
-	rw-r--r--	5,593	fast_rationals.v
-	rw-r--r--	6,039	field_of_fractions.v
-	rw-r--r--	442	intfrac_rationals.v
-	rw-r--r--	11,819	list.v
-	rw-r--r--	10,587	list_finite_set.v
-	rw-r--r--	910	modular_ring.v
-	rw-r--r--	3,510	mset_finite_set.v
-	rw-r--r--	4,977	natpair_integers.v
-	rw-r--r--	4,365	ne_list.v
-	rw-r--r--	2,997	nonneg_integers_naturals.v
-	rw-r--r--	3,746	nonneg_semiring_elements.v
-	rw-r--r--	1,576	nonzero_field_elements.v
-	rw-r--r--	4,142	option.v
-	rw-r--r--	4,794	peano_naturals.v
-	rw-r--r--	11,603	polynomials.v
-	rw-r--r--	2,197	positive_semiring_elements.v
-	rw-r--r--	11,628	semiring_pairs.v
-	rw-r--r--	6,888	stdlib_binary_integers.v
-	rw-r--r--	3,047	stdlib_binary_naturals.v
-	rw-r--r--	4,766	stdlib_rationals.v