Comment Re:I don't get it (Score 1) 219
I don't remember the article you mean, but I know that the Mizar project set out to formalize all proofs in detail, checked by machine.
Top Ten Things Overheard At The ANSI C Draft Committee Meetings: (5) All right, who's the wiseguy who stuck this trigraph stuff in here?