Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] References about mistakes and gaps in papers


view this post on Zulip Email Gateway (Aug 22 2022 at 17:42):

From: José Manuel Rodriguez Caballero <josephcmac@gmail.com>
After trying to formalize the argument from the paper

Ali, H. A. S. (2001). 85.26 Another method for Pythagorean triples. The Mathematical Gazette, 85(503), 273-273.

I found a gap and I submitted a note to the journal filling this gap. The reviewer was interested in the fact that this mistake was found using a proof assistant (Isabelle). So, for the final version of this note I would like to include a list of papers whose gaps or mistakes where only discovered by means of a proof assistant. I will appreciate any reference. Thank you in advance.
Jose M.


Last updated: Mar 29 2024 at 04:18 UTC