Lean 4 to Python transpiler - extracts idiomatic Python from LCNF - View it on GitHub