Interactive Theorem-Proving
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.
Newer Posts
Older Posts
Home
Subscribe to:
Posts (Atom)
