Re: [tlaplus] [Dr. TLA+ Series] Paxos - Andrew Helwer (June 22nd, 10-11:30am PDT)

[fl <freder...@xxxxxxxxxxx>]

I've posted a new version of inpreima2 (that looks better) as an example of how to write
a 21st century proof.

http://us2.metamath.org:88/downloads/inpreima2.pdf

http://us2.metamath.org:88/downloads/inpreima2.tex

 
--
FL