...
- 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.
...