Lamport Agent - AI-assisted Formal Specification

This blog post was prompted by an invitation to present to Nvidia engineers (slides).