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

drwxr-xr-x		..
-rw-r--r--	5964	bigO.ma	blob \| history \| raw
-rw-r--r--	54754	bigops.ma	blob \| history \| raw
-rw-r--r--	4444	binomial.ma	blob \| history \| raw
-rw-r--r--	4986	bounded_quantifiers.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--	47115	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--	5871	min_max.ma	blob \| history \| raw
-rw-r--r--	34816	minimization.ma	blob \| history \| raw
-rw-r--r--	96876	nat.ma	blob \| history \| raw
-rw-r--r--	6191	nth_prime.ma	blob \| history \| raw
-rw-r--r--	11460	pidgeon_hole.ma	blob \| history \| raw
-rw-r--r--	14544	primes.ma	blob \| history \| raw
-rw-r--r--	21724	sigma_pi.ma	blob \| history \| raw