Re: [mizar] Private DB

[Jesse Alama <alama@stanford.edu>]

Hi Freek,

Freek Wiedijk <freek@cs.ru.nl> writes:

> I teach a Mizar course each year in Nijmegen, as part of my
> course "proof assistants".

Will you teach a proof assistants course in 2007?  If so, when will it
be?  I ask because next year I will be in Bonn, Germany during the
spring and, if you're going to be teaching your course then, I'd like
to somehow sit in, if you wouldn't mind.

Warm regards,

Jesse

-- 
Jesse Alama (alama@stanford.edu)