Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Formal Proof in the press

Email Gateway (Aug 18 2022 at 12:39):

From: Makarius <makarius@sketis.net>
Some users of Isabelle and Coq have pointed out a couple of recent
articles in the press about formal proof, mentioning Isabelle, Coq, HOL
Light in particular.

Here is a collection of relevant links so far:

http://science.slashdot.org/article.pl?sid=08/09/30/2122205&from=rss
http://www.ams.org/notices/200811/
http://www.physorg.com/news145200777.html
http://www.sciencenews.org/view/generic/id/38623/title/How_to_(really)_trust_a_mathematical_proof

Makarius

Last updated: May 03 2024 at 08:18 UTC