Update README.md

inQWIRE · Apr 5, 2024 · f2e9051 · f2e9051
1 parent 9cd83c1
commit f2e9051
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -2,7 +2,7 @@
 
 **Vi**sualizing **C**ategories with **A**utomated **R**ewriting in Coq
 
-## ACT Submission: See this tag
+### **ACT Submission: See [this](https://github.com/inQWIRE/ViCaR/releases/tag/act-submission) tag**
 
 ## Building ViCAR