Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] [Coq-Club] A new OpenSSL bug was found, thanks...

view this post on Zulip Email Gateway (Aug 19 2022 at 14:39):

From: Andrei Popescu <uuomul@yahoo.com>
This is one of the most rewarding kinds of moments for a proof assistant.  :-)

Andrei

Last updated: Feb 15 2026 at 05:19 UTC