Spaces:
Running
Running
Update README.md
Browse files
README.md
CHANGED
|
@@ -18,6 +18,7 @@ tags:
|
|
| 18 |
- formal-verification
|
| 19 |
- agents
|
| 20 |
- build-small-hackathon
|
|
|
|
| 21 |
---
|
| 22 |
|
| 23 |
# ⊢ Q.E.D
|
|
@@ -28,7 +29,7 @@ Unlike a chatbot saying "yes, that's true," Lean's kernel is a proof-checker tha
|
|
| 28 |
|
| 29 |
## Demo
|
| 30 |
|
| 31 |
-
📹 **[DEMO VIDEO:
|
| 32 |
|
| 33 |
🐦 **[SOCIAL POST: https://www.reddit.com/r/LocalLLaMA/comments/1u6xo0t/hf_hackathon_submission/]**
|
| 34 |
|
|
|
|
| 18 |
- formal-verification
|
| 19 |
- agents
|
| 20 |
- build-small-hackathon
|
| 21 |
+
- llama.cpp
|
| 22 |
---
|
| 23 |
|
| 24 |
# ⊢ Q.E.D
|
|
|
|
| 29 |
|
| 30 |
## Demo
|
| 31 |
|
| 32 |
+
📹 **[DEMO VIDEO: https://huggingface.co/spaces/build-small-hackathon/QED/blob/main/Demo.mkv]**
|
| 33 |
|
| 34 |
🐦 **[SOCIAL POST: https://www.reddit.com/r/LocalLLaMA/comments/1u6xo0t/hf_hackathon_submission/]**
|
| 35 |
|