Agost's Updates

New post: Anatomy of a Lean Proof for Software Engineers

October 1, 2026

I published a new post on my blog: Anatomy of a Lean Proof for Software Engineers.

Powered by Buttondown, the easiest way to start and grow your newsletter.