FOM: Any other Mizar newbies?

Robert M. Solovay solovay at math.berkeley.edu
Sun Jun 10 16:36:43 EDT 2001


Inspired by a recent posting on this list:

From: "Roger Bishop Jones" <rbjones at rbjones.com>
    Date: Tue, 29 May 2001 19:58:17 +0100

	I've started digging in to learning Mizar. If there are any other
Mizar newbies on this list, I'd like to know [so we can share problems and
solutions about learning to hack Mizar].

	--Bob Solovay

	dilettante and autodidact







More information about the FOM mailing list