Folder: success

package info (click to toggle)

rocq-stdlib 9.0.0-3

			.. (parent)
-	rw-r--r--	445	Abstract.v
-	rw-r--r--	459	DiscrR.v
-	rw-r--r--	354	EquivDec.v
-	rw-r--r--	2,140	Field.v
-	rw-r--r--	10,615	Funind.v
-	rw-r--r--	4,035	Injection.v
-	rw-r--r--	309	LraTest.v
-	rw-r--r--	868	MatchFail.v
-	rw-r--r--	137	NatRing.v
-	rw-r--r--	52,488	Nia.v
-	rw-r--r--	14,228	Nsatz.v
-	rw-r--r--	969	NumberScopes.v
-	rw-r--r--	2,212	Omega.v
-	rw-r--r--	2,403	Omega0.v
-	rw-r--r--	772	Omega2.v
-	rw-r--r--	1,973	OmegaPre.v
-	rw-r--r--	51	PrintSortedUniverses.v
-	rw-r--r--	1,123	ProgramCases.v
-	rw-r--r--	3,129	ProgramWf.v
-	rw-r--r--	4,944	ProgramWfPoly.v
-	rw-r--r--	2,288	ROmega.v
-	rw-r--r--	2,796	ROmega0.v
-	rw-r--r--	1,125	ROmega2.v
-	rw-r--r--	491	ROmega4.v
-	rw-r--r--	1,838	ROmegaPre.v
-	rw-r--r--	25,279	RecTutorial.v
-	rw-r--r--	3,261	Record.v
-	rw-r--r--	3,074	Reg.v
-	rw-r--r--	1,579	SchemeEqualityZArith.v
-	rw-r--r--	4,489	TestRefine.v
-	rw-r--r--	36,008	ZModulo.v
-	rw-r--r--	2,156	add_field_pre_post.v
-	rw-r--r--	15,387	apply.v
-	rw-r--r--	231	btauto.v
-	rw-r--r--	7,605	conv_pbs.v
-	rw-r--r--	3,936	dependentind.v
-	rw-r--r--	16,683	extraction.v
-	rw-r--r--	2,547	extraction_bigint.v
-	rw-r--r--	2,816	fix.v
-	rw-r--r--	3,642	import_lib.v
-	rw-r--r--	279	programequality.v
-	rw-r--r--	8,047	rewrite_Proper_map.v
-	rw-r--r--	985	rewrite_dep.v
-	rw-r--r--	180	search_lia.v
-	rw-r--r--	934	setoid_ring_module.v
-	rw-r--r--	2,487	strong_and_binary_induction.v
-	rw-r--r--	2,249	unicode_utf8.v
-	rw-r--r--	1,142	unification_delta.v