commit 7d1d1c5cac85898c56225251700db7e8e65c3911
Author: Microsoft GitHub User <msftgits@microsoft.com>
Date:   Sun Dec 27 20:07:55 2015 -0800

    Initial commit

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..f5772ee
--- /dev/null
+++ b/README.md
@@ -0,0 +1,2 @@
+# ivy
+IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.