Metadata: discovery tags (collection, languages)
Browse files
README.md
CHANGED
|
@@ -5,6 +5,9 @@ tags:
|
|
| 5 |
- code
|
| 6 |
- sovereign-compute
|
| 7 |
- snapkitty
|
|
|
|
|
|
|
|
|
|
| 8 |
---
|
| 9 |
|
| 10 |
> Source: [github.com/SNAPKITTYWEST/sovereign-array](https://github.com/SNAPKITTYWEST/sovereign-array)
|
|
|
|
| 5 |
- code
|
| 6 |
- sovereign-compute
|
| 7 |
- snapkitty
|
| 8 |
+
- formal-verification
|
| 9 |
+
- lean4
|
| 10 |
+
- python
|
| 11 |
---
|
| 12 |
|
| 13 |
> Source: [github.com/SNAPKITTYWEST/sovereign-array](https://github.com/SNAPKITTYWEST/sovereign-array)
|