Occasional thoughts and updates about the world of interactive theorem-proving.
20 November 2012
Piotr Rudnicki has died
Piotr Rudnicki, a developer and proponent of the influential Mizar system, died on 17 November, aged 61.
Post a Comment
Post Comments (Atom)