4 ms·
As far as I can tell, the formal proofs themselves were always correct in his example. The problem was that the proved statements were not the ones intended.
by mbid 9y ago
As far as I can tell, the formal proofs themselves were always correct in his example. The problem was that the proved statements were not the ones intended.