FYI The Lean 4 paper: https://dl.acm.org/doi/10.1007/978-3-030-79876-5_37

		flakiness 72 days ago \| parent \| context \| favorite \| on: Leanstral: Open-source agent for trustworthy codin... FYI The Lean 4 paper: https://dl.acm.org/doi/10.1007/978-3-030-79876-5_37