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

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--	15196	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--	18447	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--	8946	minimization.ma	blob \| history \| raw
-rw-r--r--	77188	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