matita.cs.unibo.it Git - helm.git/tree

drwxr-xr-x		..
-rw-r--r--	7436	chinese_reminder.ma	blob \| history \| raw
-rw-r--r--	6269	compare.ma	blob \| history \| raw
-rw-r--r--	5975	congruence.ma	blob \| history \| raw
-rw-r--r--	7801	count.ma	blob \| history \| raw
-rw-r--r--	8791	div_and_mod.ma	blob \| history \| raw
-rw-r--r--	3353	exp.ma	blob \| history \| raw
-rw-r--r--	2376	factorial.ma	blob \| history \| raw
-rw-r--r--	18685	factorization.ma	blob \| history \| raw
-rw-r--r--	8163	fermat_little_theorem.ma	blob \| history \| raw
-rw-r--r--	17409	gcd.ma	blob \| history \| raw
-rw-r--r--	2975	le_arith.ma	blob \| history \| raw
-rw-r--r--	6030	lt_arith.ma	blob \| history \| raw
-rw-r--r--	7006	minimization.ma	blob \| history \| raw
-rw-r--r--	9098	minus.ma	blob \| history \| raw
-rw-r--r--	3134	nat.ma	blob \| history \| raw
-rw-r--r--	6432	nth_prime.ma	blob \| history \| raw
-rw-r--r--	4626	ord.ma	blob \| history \| raw
-rw-r--r--	9402	orders.ma	blob \| history \| raw
-rw-r--r--	23298	permutation.ma	blob \| history \| raw
-rw-r--r--	2395	plus.ma	blob \| history \| raw
-rw-r--r--	17665	primes.ma	blob \| history \| raw
-rw-r--r--	1821	relevant_equations.ma	blob \| history \| raw
-rw-r--r--	2773	sigma_and_pi.ma	blob \| history \| raw
-rw-r--r--	2764	times.ma	blob \| history \| raw
-rw-r--r--	3176	totient.ma	blob \| history \| raw