Sunday, August 08, 2004

The Archive of Formal Proofs

This is pretty kick-ass: machine-generated formal proofs in computer science. Let me say that I, for one, welcome our new generic theorem-proving overlords.

No comments: