Update README.md

rename project

Author: awalterschulze

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.