Changing Readme

jah12014 · Oct 17, 2017 · 5a82790 · 5a82790
1 parent 0a37b73
commit 5a82790
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -1 +1,3 @@
-# symbolic-automata-research
+# symbolic automata
+
+This repo contains various files related to my work on symbolic automata.