3 ms·
Good job. What proof, may I ask? What was the mistake, and what tool did you use? Is there a paper on this I can read?
by bumbledraven 11y ago
Good job. What proof, may I ask? What was the mistake, and what tool did you use? Is there a paper on this I can read?
- auggierose 11y agoI was using Isabelle. There is indeed a paper about this: http://link.springer.com/chapter/10.1007%2F11921240_19 http://link.springer.com/chapter/10.1007%2F11921240_19, and the flaw is described on page 284.