Folder: implementations

package info (click to toggle)

coq-math-classes 8.19.0-1

			.. (parent)
-	rw-r--r--	5,965	NType_naturals.v
-	rw-r--r--	4,988	QType_rationals.v
-	rw-r--r--	7,379	ZType_integers.v
-	rw-r--r--	932	bool.v
-	rw-r--r--	16,522	dyadics.v
-	rw-r--r--	1,166	fast_integers.v
-	rw-r--r--	175	fast_naturals.v
-	rw-r--r--	5,570	fast_rationals.v
-	rw-r--r--	6,032	field_of_fractions.v
-	rw-r--r--	442	intfrac_rationals.v
-	rw-r--r--	11,814	list.v
-	rw-r--r--	10,582	list_finite_set.v
-	rw-r--r--	901	modular_ring.v
-	rw-r--r--	3,510	mset_finite_set.v
-	rw-r--r--	4,968	natpair_integers.v
-	rw-r--r--	4,365	ne_list.v
-	rw-r--r--	2,988	nonneg_integers_naturals.v
-	rw-r--r--	3,739	nonneg_semiring_elements.v
-	rw-r--r--	1,567	nonzero_field_elements.v
-	rw-r--r--	4,142	option.v
-	rw-r--r--	4,789	peano_naturals.v
-	rw-r--r--	11,603	polynomials.v
-	rw-r--r--	2,190	positive_semiring_elements.v
-	rw-r--r--	11,619	semiring_pairs.v
-	rw-r--r--	6,947	stdlib_binary_integers.v
-	rw-r--r--	3,047	stdlib_binary_naturals.v
-	rw-r--r--	4,791	stdlib_rationals.v