bf8c5e04ee15ad4b1ec14cae878fdaf572d374e635f31191d750ab0c90de0121  Omega/Affine.lean
4a0bdc5680cfb7123d6a0a206bb96bdedd6c3c5a49cc15a3d6835efe302efe07  Omega/AxiomAudit.lean
a622442855d7d565b8a2ddf9364980f4919638c456229be4f2f4887a3eeea3fa  Omega/Constants.lean
8f44a603b1448576055ffba4edaf62ca6a83773767962792fe785ea53f24b32f  Omega/Dimension.lean
7305e893875398c5baa585d435eed4e9425cb0dcfa6b76d5d81f514317e2ca0c  Omega/Extinction.lean
02bba826557c5206cc168a0eeef6dbd380b69e1892b4b2028e05bdfe6bd53a2d  Omega/Finite.lean
774298bfb89beb990b8bdb6ef0cd95e1cedc7114b2aabf6b1949e91b33a652fb  Omega/Floor.lean
1cb6284afc2eca467a90de27888d3157aa72cf39ebd788aac505bc256d24638b  Omega/Geometry.lean
0a61e038b6c7a8cd42273aacaad53615be8fff13cc43ee61cf798d86ea392ae6  Omega/Interface.lean
c4c833bd29e349e2550a4c2bfd67d6abe6b76a84a78041d81092f73e6e7d095c  Omega/Ledger.lean
882556911c03bc06059a80a08a58bc87982dace224591e6368a0ffcad3b06bf8  Omega/Main.lean
7715cf5d450e3d166858991f44c75a88ba67a8d3826789d9392cb0e7c32d7b0f  Omega/Metrics.lean
6f4d106c949af1f9f12fe25f1a6cfe8a3691af58e3b2ecc26c0782d155690cb2  Omega/Placement.lean
75e6164d192d8f659be9b73da00cb847017e9909631c93596b40d7ee4fad2010  Omega.lean
c2accf70d8b425f6e660724c5df93f1f3521299158566f77fbc585aa1f71e51d  PROOF_GUIDE.md
1396da8c8cd39227588d260b4086f1f7ae3aeec2f319251cb8e7879802986643  README.md
23006d03bbb3b5ef00ed807d165904010c84b1061b65329a988dc6238616d828  REPRODUCTION.md
35122d4222988b074ab80e46316c050ab1b17d2047248396bbcce3489819ffd7  SOURCE_MAPPING.md
82dae0644b5ce591c3e4af7bf9fdbfa6aeec11591560cb785ab0727a65d8eda1  evidence/axioms.log
b34aef23107d7eb168cf4b1b3642791ab8a49bc7b5848843481e3a01e3be1ae6  evidence/build.log
62555658e57af67df06d8ddb4fc1507ed6b8e6f43f63a289aefd1ee4f7e70768  evidence/setup_lake_update.log
2d90f26571b91180cb175c34f8339ce30a4958bfdc573acd278f17ce2b538a3e  lake-manifest.json
30e552cd01e0b82081a26f9446cab1960f1f157f9c120a86740fa3656eb56e5c  lakefile.lean
55e97be96000b5e9e290c9e74482e5e317861499a5540353ce845471bded8cea  lean-toolchain
f57f46411b7245ec715eb13e4546d82d273eb9a8bbfe186c9f4fbf07fe78f5c2  scripts/check_axioms.py
0124bc35127d5d64c5f3b97a21c6705ba944c071f2d2e28abb3a4a6ae35d3adb  scripts/lean_local.sh
b0318dff24ea404bf6f983697599e34947f49ef505a5a196fc64e2b30a8c810c  scripts/self_exe.c
4131c9c3b40bad2320a5059f1e8daaf3cd0a78f4e30270b20ae0c3093def2b8c  scripts/verify.sh