Anatomy of a Lean proof for software engineers

  • Posted 1 day ago by abiro
  • 50 points
https://agostbiro.net/posts/2026-10-anatomy-of-a-lean-proof/

1 comments

    Loading..