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