diff --git a/README.md b/README.md
index 6132464c5..344193709 100644
--- a/README.md
+++ b/README.md
@@ -78,6 +78,11 @@ Instructions for installing clang-3.3 (C++11 compatible) on OS X 10.8
 
     $ brew install llvm --with-clang --with-asan
 
+Install Packages on Cygwin
+--------------------------
+Just run cygwin setup.exe (http://cygwin.com/install.html) and make sure that you have installed g++ 4.8.1 (or greater), cmake, gmp and libmpfr.
+We have tested Lean using Cygwin for 64-bit versions of Windows.
+
 Build Instructions
 ==================