From 9d42fcd55eafa574159c5c6b3ce281cf13f5ccb3 Mon Sep 17 00:00:00 2001
From: Ben Caldwell <53534983+caldwellb@users.noreply.github.com>
Date: Wed, 17 Apr 2024 12:20:38 -0500
Subject: [PATCH] Update README.md

---
 README.md | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index abf77e8..3eea313 100644
--- 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.