Metadata: discovery tags (collection, languages)
Browse files
|
@@ -2,6 +2,8 @@
|
|
2
|
license: agpl-3.0
|
|
3
|
tags:
|
|
4
|
- snapkitty
|
|
|
|
|
|
|
|
5
|
---
|
|
6
|
|
|
7
|
<p align="center">
|
|
|
|
2
|
license: agpl-3.0
|
|
3
|
tags:
|
|
4
|
- snapkitty
|
|
5
|
+
- formal-verification
|
|
6
|
+
- lean4
|
|
7
|
---
|
|
8
|
|
|
9
|
<p align="center">
|
