New post: Anatomy of a Lean Proof for Software Engineers
I published a new post on my blog: Anatomy of a Lean Proof for Software Engineers.
Don't miss what's next. Subscribe to Agost's Updates: