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.
No comments:
Post a Comment
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment