Update README.md
Browse files
README.md
CHANGED
|
@@ -2,10 +2,10 @@
|
|
| 2 |
license: mit
|
| 3 |
tags:
|
| 4 |
- syf
|
| 5 |
-
-
|
| 6 |
-
-
|
|
|
|
| 7 |
- deterministic
|
| 8 |
-
- cryptography
|
| 9 |
- invariant
|
| 10 |
---
|
| 11 |
|
|
|
|
| 2 |
license: mit
|
| 3 |
tags:
|
| 4 |
- syf
|
| 5 |
+
- reference-implementation
|
| 6 |
+
- specification
|
| 7 |
+
- verification
|
| 8 |
- deterministic
|
|
|
|
| 9 |
- invariant
|
| 10 |
---
|
| 11 |
|