Add repaired-claims page: proven alternatives R1-R6 next to the six falsified claims, with exact-arithmetic proof checker (9/9 lemmas) and CPU-dependence classification 50edc3d verified DineshAI commited on about 23 hours ago