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

-rw-r--r--	31862	bigops.ma	blob \| raw
-rw-r--r--	4455	binomial.ma	blob \| raw
-rw-r--r--	4773	chinese_reminder.ma	blob \| raw
-rw-r--r--	3758	congruence.ma	blob \| raw
-rw-r--r--	12260	div_and_mod.ma	blob \| raw
-rw-r--r--	4996	exp.ma	blob \| raw
-rw-r--r--	5975	factorial.ma	blob \| raw
-rw-r--r--	13631	gcd.ma	blob \| raw
-rw-r--r--	11466	log.ma	blob \| raw
-rw-r--r--	8898	minimization.ma	blob \| raw
-rw-r--r--	20880	nat.ma	blob \| raw
-rw-r--r--	9808	nat_commented.ma	blob \| raw
-rw-r--r--	6208	nth_prime.ma	blob \| raw
-rw-r--r--	14504	primes.ma	blob \| raw
-rw-r--r--	21742	sigma_pi.ma	blob \| raw