• .gitignore -rw-r--r-- 7 bytes
• ARISTOTLE_SUMMARY.md -rw-r--r-- 1713 bytes
• Main.lean -rw-r--r-- 9893 bytes
• README.md -rw-r--r-- 444 bytes
• lake-manifest.json -rw-r--r-- 112 bytes
• lakefile.toml -rw-r--r-- 102 bytes
• lean-toolchain -rw-r--r-- 25 bytes
• picopico.nix -rw-r--r-- 873 bytes