Re: [mizar] Private DB

[Jesse Alama <alama@stanford.edu>]

Jesse Alama <alama@stanford.edu> writes:

> 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.

This message was not intended for the mizar-forum mailing list --
sorry!

Jesse

-- 
Jesse Alama (alama@stanford.edu)