All posts published during .
Working with the MIT tabulator students has been such a blast that while I was at U.T. Austin for the research library symposium, I...
In our PAW and TAMI projects, we're making a lot of progress on the practical aspects of proof exchange: in PAW we're working out...