[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] History of the Mizar

Hi Roman,

>Refering to the history of the Mizar Project (not only the system),
>you can find at:
>http://mizar.org/people/romat/MatRud2005.pdf
>http://mizar.org/people/romat/MatRud2005.bib

Maybe I shouldn't aim for a book about Mizar by Trybulec/Wiedijk,
but by Matuszewski/Trybulec/Wiedijk then :-)

But seriously: thanks for the pointer.

Freek