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].
dilettante and autodidact
More information about the FOM