AUTOMATH

Lawrence C Paulson (Larry.Paulson@cl.cam.ac.uk)
Fri, 25 Nov 1994 10:35:55 +0000

Messages sorted by: [ date ][ thread ][ subject ][ author ]
Next message: chou@cs.ucla.edu: "FWD: The President of Intel responds"
Previous message: David Mumford: "False theorems in print?"

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

Next message: chou@cs.ucla.edu: "FWD: The President of Intel responds"
Previous message: David Mumford: "False theorems in print?"