← Back to context

Comment by nsriv

10 months ago

I found the narrative explanation of this protocol really beautifully written.

https://www.robinsloan.com/lab/specifying-spring-83/