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

drwxr-xr-x		..
-rw-r--r--	31415	bigops.ma	blob \| history \| raw
-rw-r--r--	10104	binomial.ma	blob \| history \| raw
-rw-r--r--	3756	congruence.ma	blob \| history \| raw
-rw-r--r--	12797	div_and_mod.ma	blob \| history \| raw
-rw-r--r--	3529	exp.ma	blob \| history \| raw
-rw-r--r--	5969	factorial.ma	blob \| history \| raw
-rw-r--r--	13568	gcd.ma	blob \| history \| raw
-rw-r--r--	11466	log.ma	blob \| history \| raw
-rw-r--r--	8884	minimization.ma	blob \| history \| raw
-rw-r--r--	26283	nat.ma	blob \| history \| raw
-rw-r--r--	6191	nth_prime.ma	blob \| history \| raw
-rw-r--r--	14545	primes.ma	blob \| history \| raw