WeSearch

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

· 0 reactions · 0 comments · 22 views
Original article
r/programming
Read full at r/programming →
Anonymous · no account needed
Share 𝕏 Facebook Reddit LinkedIn Threads WhatsApp Bluesky Mastodon Email

Discussion

0 comments

More from r/programming

What's the best way to learn programming in 2026 as a complete beginner?
r/programming·10
Generating OG images in Elixir
r/programming·10
Index Your Entire Documentation Stack
r/programming·11
Light Cone Consistency: I'll Take One Scoop Of Each
r/programming·17
How Rockstar fit an entire city into PlayStation 2 memory
r/programming·12
Writing a Custom SQL Database Engine in C++17: Implementing MVCC, WAL, and a Bitmask DP Join Optimizer with Zero External Dependencies
r/programming·10