• .gitignore -rw-r--r-- 7 bytes
• BinomialNumberSystem.lean -rw-r--r-- 2405 bytes
• BinomialNumberSystemAristotle.lean -rw-r--r-- 5330 bytes
• BinomialNumberSystemAristotle2.lean -rw-r--r-- 5425 bytes
• Coxeter.lean -rw-r--r-- 99 bytes
• CoxeterAristotle.lean -rw-r--r-- 12570 bytes
• CoxeterAristotle2.lean -rw-r--r-- 27148 bytes
• Kadane.lean -rw-r--r-- 916 bytes
• KadaneAristotle.lean -rw-r--r-- 3893 bytes
• Marden.lean -rw-r--r-- 639 bytes
• MardenAristotle.lean -rw-r--r-- 5640 bytes
• Sort.lean -rw-r--r-- 122 bytes
• SphericalCoord.lean -rw-r--r-- 4873 bytes
• SphericalCoord_aristotle.lean -rw-r--r-- 9715 bytes
• SumTest.lean -rw-r--r-- 306 bytes
• SumTestAristotle.lean -rw-r--r-- 8060 bytes
• SumTestAristotle2.lean -rw-r--r-- 8077 bytes
• lake-manifest.json -rw-r--r-- 3120 bytes
• lakefile.toml -rw-r--r-- 356 bytes
• lean-toolchain -rw-r--r-- 25 bytes