fad45d589b92f923dae8db9149cb0595faf89e19d6dc79a36a48892b3d7a2475  Asymptotics.lean
bff6f32ad216f8155453ea418aed2ca0c050a12fde1062d4ee79044d30ae3305  Audit.lean
f6ed95022920a2d1e134b0b9c6b603bd45f003c95a67b7ec6e938a19ee14c21e  AuditClaude.lean
bacda3b916ef14074cffcd84298974094dda4aed8511b2bb572e26407cb9a38c  AuditGeneral.lean
08aa86c4b5846cd1b8b37fe5e6fb22e0af32b18c9a5e01213b9979faa261d758  AuditMachineRuntime.lean
e46c1e4981f4024a5ea54f0540934a987cbb16b1d09304065bb9a817fc74ad6f  BuildList.lean
cdfe19b3bc603619240e5e82a6e0147a8cdf5b8742e45e5c2150d95114b03ef2  CompilerBridge.lean
413d229452eebef9db9e7d4598b36f18fc6ed13c6dd64fc5811d4000aaba5948  CompilerExamples.lean
4a44bb34cdec73ca8c8f16d68909f803b68d7f2d31e49b5bb5ac3db6280a88f9  Core.lean
bb2625e68ff98c362e61a7964e18f75fd58dad9b0c1a08c9ebbd05a7f13d5317  CostMonad.lean
341d35e484432ad832bb80ebafefed46bf544eb66479c4a2bbbdf3556325fec9  DegreeCompiler.lean
33a5838ffb220dcfcfda37413b5949575036626e70785edf3300ac1ffb0b4923  DegreeThreshold.lean
ace54a4d4c76f2e646c9f6312ef55c0bd4a8e5aa3ce6bdf64cdcd3a539ac8c3c  Density.lean
7318f583e7669a0bdbf3bee7c66ed77ab919c4bc5fdaeb7bdceec89e993f08b1  EncodedCompiler.lean
b3436e84e31a32ba41716f75fd849298211fadf82f8d1c696893c4e5c8215aea  EncodedComputable.lean
afcb37e386c0a93f3ff40f86046c24b1a91b23e54628685b000966a1e0e42b89  EncodedExamples.lean
3b0aae9fcff8deb8d6634489ef77644ec84873fb91d9bfd9e8d3e65f6f3d2617  EncodedSyntax.lean
c11eb43ba0d04c88e12996613c252dbd314248fb133c41c62c8db3b63ec023c8  EncodingCost.lean
b96009f68d604b44bbdb12fbb26e2ad4dc1f3b25db831d3c4ea81bcb8c93eada  Examples.lean
c257013ea2e738cc49cde772c9fc4145b9a8005af7bd05225b29643fdaec2a8a  FinalInterface.lean
a86b052232e893f041db64adb1d69dc748cb9f65b37040295f4b25332c240f3c  FiniteSearch.lean
b3c0733820d28d3a7f643c26956b564fd7ea5a2fb35549a28c6d6eb32ce344ff  Flattening.lean
f3aa7b1dcbf44d664fd30785dfb351c66ec556ea0bb7a090e69181415ff7f17f  FlowCost.lean
2a80a8904986a8da94c8cce30617dec1d30febc00c59db87225683898dbd693e  FlowCut.lean
bcd633db2ef34658d47313814970df83f50fda23288e463aefc122d05a96eccb  FlowCutExec.lean
5d521e2713d3309b51a93d09d52c2e5db07c987ae4140a187ec9542791cea123  FlowExamples.lean
0956ac29f3652ee7cc87a82cc9dafc90f4b11eb0b8afbeda7ba653548056b1d1  GeneralAlgorithm.lean
3f6aa05dd9fbd9f6b2518c63d6b3212d56ab9b74408ce065864318a41d25ee18  GeneralAsymptotics.lean
3cf2def3c143bbf16fca2ff315217521a6cbef8d6b55baf39f83040c6a442c96  GeneralComputable.lean
d86c8fcb6c53e2cdc666a941753f16d30b5960bd973379902c318a1d858f05d6  GeneralEncoded.lean
6d8a102f719d8047ef5a5ef7c8888683d6353138297fd41aac1c6068992db3bd  GeneralExamples.lean
7b8a99b8088ba1443e89c0de7ee2c82b100ffd895e209b9aaf507231726d708a  GeneralInterface.lean
363777339b72683319ba013341097e8e4aed7054adcf894f55480fcc71e7cd8e  GeneralRouting.lean
cee65887326b93ce23205911052195a75c5d94b20929fe82c655cd94fa9274b4  GeneralSemantics.lean
3fe071c3b1ff8e3d98ae67bd264ce1e62079f72cd86514245d0895496c77dd4b  GeneralSemidecision.lean
065d33fab20046ab36b241033cd938fb826b573a3d2489de1aeb49b68c54ee16  MCanon.lean
77c6762e157fedf3fe49b68f25f38f831c9ee950df17d5397e6b01a068f68aeb  MExamples.lean
bc63bd6fd6a235cef146ab199ed15d6c5a1ebbde0ab8cd2fb39e3ab6355fff1b  MFlow.lean
37ab2b242a62883c03c073e62a9a25c907f8d4a1fa99b535fdee26292d04c2e7  MLib.lean
4ecb6ccb5b55305fb6aafe5edcd61be1df6758ef5c11fd98696b2f1c8f89ec41  MLib2.lean
9975e5bd7d048a39620f9751fde8ca9e81bf5b5dbc5a962dc855d6b9bafece2e  MLib3.lean
123e3d5297e3c8264070eb27e469466340f88c07babf59d315d306821698c7af  MMain.lean
19fbbc362936d798391d81d84281f38770f9dc03191b319402cd6b3803ed726e  MNet.lean
9c5a030a9a15dc3253c06eba6cd438b23fc2c79a20b193b7fe88ab6b58bd1b17  MParse.lean
c5992ce988c9875436fda461f8f49f4793c3190ce3e8fd9eb13d57e8b4d3cb19  MParseList.lean
41a14eb99c40aa1a70165f07e5678abda8ae325b3175215fee865ad1889857ed  MParseRec.lean
11304dcd37cb76f280633e62ea1787f905079bb2278202aa24ee011ebd864974  MValid.lean
b71e3dfd34b56c5fd009933db21712cd5db9ccbdd3f88e38bb2c6594ce0996b7  Machine.lean
f0bb65b679a3ea641fabaca9a2f20578d99487834a5299fd4c6d82bc28b1d397  MachineLib.lean
a4e8632bae165acfebcc43f3b9c3917d5d0fcea624b59defcc57901fff22158f  MengerTheorem.lean
9e60a4e1d95e3851fe703a49d5075d4b309a4f3feac6e76d7971862f7ccda960  Padding.lean
24b485da7f70ec18f64368ce894701bea96694110330b3b402638a5b22c72a4c  Parsing.lean
c40896f36dded6c3a71d031d0cb84c68253199f2c6cf7ccc4a54ab96ad9d7e8f  ParsingCost.lean
a484596411bee6e38c134965cde76b5b0a78085806254f58050a2ac36e876b43  ParsingExec.lean
4471b8a5aaa0f02d4ada0db3f4acaeebd448f234728d2f6d89cddeda861b62f9  PhaseAExec.lean
dc3a4b4d62a9641da4d8f2d0a7d6e521af5a9cd6da8b4c885127be67e063fe8c  PresentationBridge.lean
58b43b1ba4f81a3209c022b5c6d602c10907917139e9a98f948a96145dc7249c  Ram.lean
0bc13dfd05b4a74d1dd91c3c021b14758d2ca519bdd8e2df1841db11d97e7a0d  ReducedWords.lean
be476f6c50cba7e389e26468869ad6d4fb934448b02fc28038c5d5e1948826a5  Semantics.lean
e627d164a6e133db1c909bd86eff868f0b151d02ebdbec48fe1a76de9e9702b8  Semidecision.lean
b5e8f1d9ff55f089c02f3050a0f17e6ffc62134d13035a373d2a8da084e60bf5  SharpCut.lean
7a650faef8f95a12224a37fb001927acf69ae93777f027a1ed5ce1a5b686142a  StrictAlgorithm.lean
1cbfe179c6c63a9bf7470855de49c47f7d50db04a14a15f6ea4b307bf6c5f0e6  TableSearch.lean
27129e54155dd620e94513570794ea2cb197dec8559e9ca1f51986967910ee2a  TableSearchComputable.lean
71c76ad071a0af50a8b1fe248a654cba04c1a7349e687a85cc3d5fa8368ac829  Tagged.lean
36d0388f8f6285b403e3af6d9318c5e3420acf0aa962d16209ee11f72d6c9c88  TermGraph.lean
bc6c3791f613d9776bb7ceb8d592ef730ed29639ac3d5add31ff7dfd1d8c0aef  TermMenger.lean
38d884cced6d9341392615b8ebb81e83d8722fec732769e89a056aa5b112fe88  Threshold.lean
0d59263370fb9b9140f64b03a385db390d6ad233bf1f8aa31a5c842c8e01c630  ToyExample.lean
3ec38b03b4c554ba728624cb0f4756d0e61daa1f0b91a4ea1cd5a46aaa24d3d0  Transport.lean
5a23cc35b07f73a65ef690a1a79ebf4b3626d77990fc275c24a6d350589b633e  TupleFlattening.lean
f5414b0e03aeeec60c03100879750f4d9f7d18483dde440aa2cdf6258cc84cbd  TypesGeneral.lean
45f1bcada467e54d8510f9f7fde42dfa3d3e3b2022aa234a996acd144c6ff436  TypesMachineRuntime.lean
cc47c1a8533d5a12a97b0db116577ae71c7f40c0012da9201c34d35d52d7c81d  UnitFlow.lean
89474003af87db049352e5e5793f961313fcff58a19c505d903629e582d61af9  UnitFlowCost.lean
d83b51752f3e15c7ee94b69710cf0da50fef6b3d31303d6355acd33d7948a5f7  UnitFlowExec.lean
61a8847bce8645d1df3e80730d91583c8f179ddfa740aa2360c680e8c9a0d710  WitnessSize.lean
cb39b4ecec4b04c39c5f701b9a5a161d84d28349e5c6fc225af37c1919eba830  lake-manifest.json
fbdf670deafd399526b32ea6632ff49002a5ff7c475f8edff5f08dc27330c32e  lakefile.toml
e8173aad377a6d70041e5f7a5d8895ed587628f5cab243c53a18c40a1b7b6bf8  lean-toolchain
