Update README.md

rename project
katydid · Dec 3, 2024 · 305b6d0 · 305b6d0
1 parent 71e4a82
commit 305b6d0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -2,7 +2,7 @@
 
 **This learning exercise has come to an end. We are continuing work in this area [here](https://github.com/katydid/proofs)**
 
-# Derivatives for Regular reexamined with Coq
+# Derivatives for Regular Expressions with Coq
 
 This repo reexamines a few papers on regular expressions using Coq as a learning exercise.
 We try to prove some things that are mentioned in the papers as a way to teach ourselves some Coq.