Update README.md

inQWIRE · Apr 5, 2024 · 9cd83c1 · 9cd83c1
1 parent 56d6bb9
commit 9cd83c1
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -1,8 +1,10 @@
-# ViCaR
+# ViCAR
 
-Verified Categorical String Diagrams in Roq
+**Vi**sualizing **C**ategories with **A**utomated **R**ewriting in Coq
 
-## Building ViCaR
+## ACT Submission: See this tag
+
+## Building ViCAR
 
 Tested with Coq 8.14-8.18.