Update README.md

inQWIRE · Apr 17, 2024 · 9d42fcd · 9d42fcd
1 parent 2c4ce80
commit 9d42fcd
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](https://github.com/inQWIRE/ViCaR/releases/tag/act-submission) tag**
+
+## Building ViCAR
 
 Tested with Coq 8.14-8.18.