Update README.md

kstats · kstats · commit 4ab371fcf45b · 2014-05-04T00:44:12.000-04:00
diff --git a/README.md b/README.md
@@ -0,0 +1 @@
+This repository includes work for a Software Foundations class that involved programming in the COQ programming language.

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+This repository includes work for a Software Foundations class that involved programming in the COQ programming language.`