Create README.md

dricketts · dricketts · commit e42aab205638 · 2015-08-13T18:43:34.000+02:00
diff --git a/README.md b/README.md
@@ -0,0 +1,2 @@
+# veridrone
+Foundational Verification of Hybrid Systems

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+# veridrone`
	`2`	`+Foundational Verification of Hybrid Systems`