Re: Leslie Lamport: How to Write Software With Mathematical Perfection

Steve Peter speter at
Wed May 18 15:34:38 CEST 2022

Like a member of the Grateful Dead...On May 17, 2022, at 1:35 PM, peter wilson < at> wrote:As an aside I had always wondered what Leslie looked like.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the texhax mailing list.