Commit History

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