Metadata: discovery tags (collection, languages)
Browse files
README.md
CHANGED
|
@@ -4,6 +4,10 @@ license_name: sovereign-source-license
|
|
| 4 |
license_link: https://huggingface.co/Snapkitty/forge-polyglot-verifier/blob/main/LICENSE
|
| 5 |
tags:
|
| 6 |
- snapkitty
|
|
|
|
|
|
|
|
|
|
|
|
|
| 7 |
---
|
| 8 |
|
| 9 |
# FORGE - محرك التحقق متعدد اللغات
|
|
|
|
| 4 |
license_link: https://huggingface.co/Snapkitty/forge-polyglot-verifier/blob/main/LICENSE
|
| 5 |
tags:
|
| 6 |
- snapkitty
|
| 7 |
+
- formal-verification
|
| 8 |
+
- lean4
|
| 9 |
+
- agda
|
| 10 |
+
- haskell
|
| 11 |
---
|
| 12 |
|
| 13 |
# FORGE - محرك التحقق متعدد اللغات
|