# content
Using algebra and LLMs to verify a flight-plan bug fix in Lean (by jameshh) — discussion

#formalmethods #math #vibecoding