Metadata: discovery tags (collection, languages)
Browse files
README.md
CHANGED
|
@@ -4,6 +4,9 @@ license_name: sovereign-source-license
|
|
| 4 |
license_link: https://huggingface.co/Snapkitty/quantabeta-core/blob/main/LICENSE
|
| 5 |
tags:
|
| 6 |
- snapkitty
|
|
|
|
|
|
|
|
|
|
| 7 |
---
|
| 8 |
|
| 9 |
<div align="center">
|
|
|
|
| 4 |
license_link: https://huggingface.co/Snapkitty/quantabeta-core/blob/main/LICENSE
|
| 5 |
tags:
|
| 6 |
- snapkitty
|
| 7 |
+
- formal-verification
|
| 8 |
+
- lean4
|
| 9 |
+
- haskell
|
| 10 |
---
|
| 11 |
|
| 12 |
<div align="center">
|