emeryberger merged emeryberger/LeanToPython#7 · July 4, 2026 08:52 docs: document the four-layer correctness testing approach #7 Expands the README Correctness section from just the 27-function unit suite to the full testing story, so readers understand how faithful transpila… +73 -2