colo12-c703.uibk.ac.at Git - hl193./.git/tree

drwxr-xr-x		..
-rw-r--r--	646	arithmetic.ml	blob \| history \| raw
-rw-r--r--	4752	arithmetic_geometric_mean.ml	blob \| history \| raw
-rw-r--r--	15778	ballot.ml	blob \| history \| raw
-rw-r--r--	12193	bernoulli.ml	blob \| history \| raw
-rw-r--r--	133002	bertrand.ml	blob \| history \| raw
-rw-r--r--	11164	birthday.ml	blob \| history \| raw
-rw-r--r--	4212	cantor.ml	blob \| history \| raw
-rw-r--r--	21178	cayley_hamilton.ml	blob \| history \| raw
-rw-r--r--	10634	ceva.ml	blob \| history \| raw
-rw-r--r--	2937	chords.ml	blob \| history \| raw
-rw-r--r--	7295	circle.ml	blob \| history \| raw
-rw-r--r--	5653	combinations.ml	blob \| history \| raw
-rw-r--r--	42919	constructible.ml	blob \| history \| raw
-rw-r--r--	10074	cosine.ml	blob \| history \| raw
-rw-r--r--	4383	cubic.ml	blob \| history \| raw
-rw-r--r--	27229	derangements.ml	blob \| history \| raw
-rw-r--r--	16320	desargues.ml	blob \| history \| raw
-rw-r--r--	42493	descartes.ml	blob \| history \| raw
-rw-r--r--	106103	dirichlet.ml	blob \| history \| raw
-rw-r--r--	1203	div3.ml	blob \| history \| raw
-rw-r--r--	3816	divharmonic.ml	blob \| history \| raw
-rw-r--r--	132457	e_is_transcendental.ml	blob \| history \| raw
-rw-r--r--	18832	euler.ml	blob \| history \| raw
-rw-r--r--	11130	feuerbach.ml	blob \| history \| raw
-rw-r--r--	45157	four_squares.ml	blob \| history \| raw
-rw-r--r--	295197	fourier.ml	blob \| history \| raw
-rw-r--r--	37357	friendship.ml	blob \| history \| raw
-rw-r--r--	8348	fta.ml	blob \| history \| raw
-rw-r--r--	1803	gcd.ml	blob \| history \| raw
-rw-r--r--	1839	heron.ml	blob \| history \| raw
-rw-r--r--	21276	inclusion_exclusion.ml	blob \| history \| raw
-rw-r--r--	41637	independence.ml	blob \| history \| raw
-rw-r--r--	11083	isosceles.ml	blob \| history \| raw
-rw-r--r--	10279	konigsberg.ml	blob \| history \| raw
-rw-r--r--	11579	lagrange.ml	blob \| history \| raw
-rw-r--r--	14840	leibniz.ml	blob \| history \| raw
-rw-r--r--	9680	lhopital.ml	blob \| history \| raw
-rw-r--r--	21489	liouville.ml	blob \| history \| raw
-rw-r--r--	14303	minkowski.ml	blob \| history \| raw
-rw-r--r--	22314	morley.ml	blob \| history \| raw
-rw-r--r--	26578	pascal.ml	blob \| history \| raw
-rw-r--r--	13307	perfect.ml	blob \| history \| raw
-rw-r--r--	186723	pick.ml	blob \| history \| raw
-rw-r--r--	157883	piseries.ml	blob \| history \| raw
-rw-r--r--	115290	platonic.ml	blob \| history \| raw
-rw-r--r--	216561	pnt.ml	blob \| history \| raw
-rw-r--r--	111735	polyhedron.ml	blob \| history \| raw
-rw-r--r--	10492	primerecip.ml	blob \| history \| raw
-rw-r--r--	3354	ptolemy.ml	blob \| history \| raw
-rw-r--r--	1390	pythagoras.ml	blob \| history \| raw
-rw-r--r--	8621	quartic.ml	blob \| history \| raw
-rw-r--r--	52396	ramsey.ml	blob \| history \| raw
-rw-r--r--	3197	ratcountable.ml	blob \| history \| raw
-rw-r--r--	12126	realsuncountable.ml	blob \| history \| raw
-rw-r--r--	37598	reciprocity.ml	blob \| history \| raw
-rw-r--r--	2274	sqrt.ml	blob \| history \| raw
-rw-r--r--	29149	stirling.ml	blob \| history \| raw
-rw-r--r--	6865	subsequence.ml	blob \| history \| raw
-rw-r--r--	4052	thales.ml	blob \| history \| raw
-rw-r--r--	3448	triangular.ml	blob \| history \| raw
-rw-r--r--	11900	two_squares.ml	blob \| history \| raw
-rw-r--r--	9823	wilson.ml	blob \| history \| raw