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