Mizar Project - automated reasoning,
automated deduction, automated proof checking,
practical formalization of mathematics.
I am the member of the
Mizar Group since 1973 (from beginning of the Project),
author of the implementation of the Mizar-MSE system - used to teaching of logic and
foundation of mathematics (on the University level).NEW: In 2013 and 2014 we celebrate 40 years of Mizar:

(...)The first presentation of the Mizar ideology understood here as visionary speculation was presented by Andrzej [Trybulec] on November 14, 1973 at a seminar in the Institute of Library Science and Scientific Information at Warsaw University(...)