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

drwxr-xr-x		..
-rw-r--r--	31906	bigops.ma	blob \| history \| raw
-rw-r--r--	4435	binomial.ma	blob \| history \| raw
-rw-r--r--	4771	chinese_reminder.ma	blob \| history \| raw
-rw-r--r--	3752	congruence.ma	blob \| history \| raw
-rw-r--r--	12238	div_and_mod.ma	blob \| history \| raw
-rw-r--r--	4994	exp.ma	blob \| history \| raw
-rw-r--r--	5963	factorial.ma	blob \| history \| raw
-rw-r--r--	13621	gcd.ma	blob \| history \| raw
-rw-r--r--	11466	log.ma	blob \| history \| raw
-rw-r--r--	8896	minimization.ma	blob \| history \| raw
-rw-r--r--	27451	nat.ma	blob \| history \| raw
-rw-r--r--	6208	nth_prime.ma	blob \| history \| raw
-rw-r--r--	14509	primes.ma	blob \| history \| raw
-rw-r--r--	21742	sigma_pi.ma	blob \| history \| raw