Lawrence C Paulson (
Fri, 25 Nov 1994 10:35:55 +0000

I am looking for modern papers written in the tradition of Jutting's thesis,
Checking Landau's ``Grundlagen'' in the AUTOMATH System. I mean papers that
take (part of) a mathematics book or paper, formalize the text as closely as
possible, and discuss statements/arguments that are hard to formalize.

I know of a lot of mechanized mathematics in the literature, but little of the
sort described above. Can anyone help?

Larry Paulson