PRL Website Update

Today we launched a major update for the PRL Project website. The update includes a new look and navigation as well as new content.

We have added:

• a knowledge base of all articles, math library books, and seminar presentations
• several new publications
• a formalized synthesized version of 2/3 Consensus
• a formalization in Nuprl of Moessner's theorem

What do you think?

We are looking for feedback, edits and comments. Please take a moment to complete our
quick survey or send comments by email to je277@cornell.edu.

Thanks!
PRL Project Team