Skewray Research on Nostr: nprofile1q…fw8t5 Are there readily accessible examples of incorrect proofs that ...
nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyry2ysn5av9pr8m76kgpggcflz294t0pr9shd99kh8redys7ku0xkefw8t5 (nprofile…w8t5) Are there readily accessible examples of incorrect proofs that pass proof assistant verification?