Today we launched an updated website for the PRL Project. The update includes new navigation, look 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