I am a graduate student in Computer Science working with
Professor Caldwell on web-based display of formal
mathematical proofs.
In collaboration with the HELM group at Bologna, I am
projecting Nuprl proofs onto the web.
Look here for latest projections.
Look here for more stable versions.