Jump to user comments
F2, ... Fn, where each Fi either is an
axiom, or follows by
some rule of inference from some of the previous F's, and Fn
is the statement being proved.
E-mail: proof@xcf.berkeley.edu. Mailing list:
proof-requestf@xcf.berkeley.edu (Subject: add me).
(1994-11-29)