emeryberger merged emeryberger/LeanToPython#10 · July 4, 2026 12:56 docs: fix roundtrip README option labels (A and B, not A and C) #10 The round-trip harness has exactly two checks, but the exhaustive one was mislabeled Option C. Renamed to Option B in both the description and the … +7 -11