From 6e5e8ccadbf775ae1693519282d3aec7ba948d35 Mon Sep 17 00:00:00 2001 From: xiaoshihou Date: Fri, 27 Sep 2024 09:03:47 +0800 Subject: [PATCH] chore: fix README --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index cee1d11..420d8d2 100644 --- 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