emeryberger merged emeryberger/LeanToPython#5 · July 4, 2026 08:40 Round-trip faithfulness harness (Lean as oracle) + 4 transpiler fixes #5 Demonstrates that the Lean -> Python transpilation is faithful by using Lean itself as the oracle: Lean #evals each function and the runner checks … +474 -5