Wider Deployment of Nuprl
by Richard Eaton, Mark Bickford, Robert L. Constable, Christoph Kreitz
2012
Friday Sept 28
Location: Upson 215
Time: 12:05-1:00
We will discuss a plan for making Nuprl more widely accessible. This seminar may not be of wide interest beyond the PRL group.
There won't be a great deal of new technical content.