Upload README.md with huggingface_hub

README.md

@@ -8,7 +8,7 @@ tags:
 - functionally-complete
 ---
 
-# tiny-NAND-prover
+# tiny-NAND-verified
 
 Formally verified NAND gate. Single threshold neuron computing negated conjunction with 100% accuracy.
 
@@ -89,9 +89,9 @@ NAND is functionally complete - any Boolean function can be built from NAND gate
 
 ```bibtex
 @software{tiny_nand_prover_2025,
-  title={tiny-NAND-prover: Formally Verified NAND Gate},
+  title={tiny-NAND-verified: Formally Verified NAND Gate},
   author={Norton, Charles},
-  url={https://huggingface.co/phanerozoic/tiny-NAND-prover},
+  url={https://huggingface.co/phanerozoic/tiny-NAND-verified},
   year={2025}
 }
 ```