Overhauling the website for presentation and clarity

A machine-to-machine proof assistant interface

An unbelievable story

A method for finding project root in emacs