Upload README.md with huggingface_hub
Browse files
README.md
CHANGED
|
@@ -1,3 +1,12 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
# tiny-NOT-prover
|
| 2 |
|
| 3 |
Formally verified NOT gate. Single threshold neuron computing negation with 100% accuracy.
|
|
|
|
| 1 |
+
---
|
| 2 |
+
license: mit
|
| 3 |
+
tags:
|
| 4 |
+
- formal-verification
|
| 5 |
+
- coq
|
| 6 |
+
- threshold-logic
|
| 7 |
+
- neuromorphic
|
| 8 |
+
---
|
| 9 |
+
|
| 10 |
# tiny-NOT-prover
|
| 11 |
|
| 12 |
Formally verified NOT gate. Single threshold neuron computing negation with 100% accuracy.
|