chore: fix README

xiaoshihou514 · Sep 27, 2024 · 6e5e8cc · 6e5e8cc
1 parent bc84753
commit 6e5e8cc
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -16,7 +16,8 @@ Ndpc introduced a markup language for creating [natural deduction](https://wikip
 
 Compared to existing similar tools, ndpc is easier to use and looks much more similar to hand written proofs.
 
-Demo:
+Click to watch video demo:
+
 [![Watch the demo](https://github.com/user-attachments/assets/154131b4-6535-4b51-a063-edaa01277080)](https://github.com/user-attachments/assets/70cd3fa3-d52d-4ab2-9554-aa5c1135f443)
 
 ## Getting started