*** This version of Confluence is for testing only and contains a copy of content from June 29th 2026. No changes will be preserved. ***
-
Created by
Jim Entwood on Jul 27, 2012
1 minute read
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