[FOM] Fwd: Has Principia Mathematic been formally verified

[Hendrik Boom]

On Thu, Jul 28, 2011 at 12:47:31PM -0400, belinfan at math.gatech.edu wrote:
> 
> N. G. de Bruijn, "Project AUTOMATH" in "To H. B. Curry, Essays on
> Combinatory Logic etc.,"
> edited by Seldin and Hindley, reports that D. T. van Daalen, R. P.
> Nederpelt and others
> formally checked proofs in set theory back in the 1970s.

There a project going to place all the old documents about Automath 
online.  The links on Automath's wikipedia page are a good place to 
start.

-- hendrik