Using algebra and LLMs to verify a flight-plan bug fix in Leanjameshaydon.github.io5 points·jameshh··0 commentsOpen articleSaveView on HN