Raw Lean files
- NimCore.lean
- NimRollout.lean
- lean-toolchain
- phase2/NimGame.lean
- phase2/NimProbability.lean
- phase2/build.sh
- phase3/AttainCircuit.lean
- phase3/BitBridge.lean
- phase3/Circuit.lean
- phase3/NimAttain.lean
- phase3/NimCorrBridge.lean
- phase3/NimRecurrent.lean
- phase3/build.sh
- phase3/lean-toolchain
- phase4/BinaryReadout.lean
- phase4/Controller.lean
- phase4/ControllerBits.lean
- phase4/Coverage.lean
- phase4/FiniteNet.lean
- phase4/Foundation.lean
- phase4/LocalRestore.lean
- phase4/ParityCircuit.lean
- phase4/SelectCircuit.lean
- phase4/SharedCircuit.lean
- phase4/build.sh
- phase5/PriorityEncoder.lean
- phase5/ThresholdInst.lean
- phase5/ThresholdNet.lean
- phase5/WholeGame.lean
- phase5/build.sh
- phase6/Barrier.lean
- phase6/BoardStore.lean
- phase6/Bypass.lean
- phase6/Classical.lean
- phase6/Family.lean
- phase6/Misc.lean
- phase6/RolloutExec.lean
- phase6/Windows.lean
- phase6/build.sh
- phase6/lean-toolchain
- phase7/NoiseModel.lean
- phase7/Shootout.lean
- phase7/build.sh
- phase7/lean-toolchain
- phase8/Fourier.lean
- phase8/RealFourier.lean
- phase8/RealNoise.lean
- phase8/WeakMastery.lean
- phase8/build.sh
- phase8/lake-manifest.json
- phase8/lakefile.toml
- phase8/lean-toolchain
- phase8/source_stats.py