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

[mizar] History of the Mizar



Hi Freek,

On Wed, 20 Sep 2006, Freek Wiedijk wrote:

My original plan was to write a book about Mizar, together
with Andrzej, consisting of four parts: a tutorial, a history
of the system, a manual of the language, and a manual of the
programs.  I never got beyond the tutorial, though.  Maybe I
should go to Poland for a month and write the two manual
parts.  (And then forget about the history part :-))

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

Roman