Metadata: discovery tags (collection, languages)
Browse files
README.md
CHANGED
|
@@ -4,6 +4,10 @@ license_name: snapkitty-tri-license
|
|
| 4 |
license_link: https://huggingface.co/Snapkitty/sovereign-trinity-kernel/blob/main/LICENSE
|
| 5 |
tags:
|
| 6 |
- snapkitty
|
|
|
|
|
|
|
|
|
|
|
|
|
| 7 |
---
|
| 8 |
|
| 9 |
> Source: [github.com/SNAPKITTYWEST/sovereign-trinity-kernel](https://github.com/SNAPKITTYWEST/sovereign-trinity-kernel)
|
|
|
|
| 4 |
license_link: https://huggingface.co/Snapkitty/sovereign-trinity-kernel/blob/main/LICENSE
|
| 5 |
tags:
|
| 6 |
- snapkitty
|
| 7 |
+
- formal-verification
|
| 8 |
+
- lean4
|
| 9 |
+
- latex
|
| 10 |
+
- 6502-asm
|
| 11 |
---
|
| 12 |
|
| 13 |
> Source: [github.com/SNAPKITTYWEST/sovereign-trinity-kernel](https://github.com/SNAPKITTYWEST/sovereign-trinity-kernel)
|