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

drwxr-xr-x		..
-rw-r--r--	31898	bigops.ma	blob \| history \| raw
-rw-r--r--	4444	binomial.ma	blob \| history \| raw
-rw-r--r--	4747	chinese_reminder.ma	blob \| history \| raw
-rw-r--r--	3755	congruence.ma	blob \| history \| raw
-rw-r--r--	12251	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--	13612	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--	27431	nat.ma	blob \| history \| raw
-rw-r--r--	6191	nth_prime.ma	blob \| history \| raw
-rw-r--r--	14544	primes.ma	blob \| history \| raw
-rw-r--r--	21724	sigma_pi.ma	blob \| history \| raw