Using algebra to verify a flight-plan bug fix in Lean

submitted by /u/james_haydon
[link] [comments]