Metadata: discovery tags (collection, languages)
Browse files
|
@@ -7,6 +7,9 @@ tags:
|
|
7
|
- worm-chain
|
|
8
|
- formal-verification
|
|
9
|
- snapkitty
|
|
|
|
|
|
|
|
|
|
|
10
|
---
|
|
11
|
|
|
12
|
# bob-reasoning
|
|
|
|
7
|
- worm-chain
|
|
8
|
- formal-verification
|
|
9
|
- snapkitty
|
|
10
|
+
- agents
|
|
11
|
+
- python
|
|
12
|
+
- prolog
|
|
13
|
---
|
|
14
|
|
|
15
|
# bob-reasoning
|
