lp2

Python ★ 0 updated 2mo ago

Bidirectional Lean4↔Python transpiler (Python 3.11+ / Lean 4)

No plain-English explanation yet — one is being written right now. Check back in a minute.