Upload README.md with huggingface_hub

README.md

@@ -9,7 +9,7 @@ tags:
 - equivalence
 ---
 
-# tiny-BiImplies-prover
+# tiny-BiImplies-verified
 
 Formally verified biconditional gate (if and only if). Two-layer threshold network computing logical equivalence with 100% accuracy.
 
@@ -97,9 +97,9 @@ BiImplies(x,y) = OR(NOR(x,y), AND(x,y)) = (x ↔ y)
 
 ```bibtex
 @software{tiny_biimplies_prover_2025,
-  title={tiny-BiImplies-prover: Formally Verified Biconditional Gate},
+  title={tiny-BiImplies-verified: Formally Verified Biconditional Gate},
   author={Norton, Charles},
-  url={https://huggingface.co/phanerozoic/tiny-BiImplies-prover},
+  url={https://huggingface.co/phanerozoic/tiny-BiImplies-verified},
   year={2025}
 }
 ```