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