20 November 2012

Piotr Rudnicki has died

Piotr Rudnicki, a developer and proponent of the influential Mizar system, died on 17 November, aged 61.