Front page

README.md

@@ -1 +1,23 @@
 ## EasyCrypt
+
+EasyCrypt is an interactive framework for verifying the security of
+cryptographic constructions in the computational model. EasyCrypt
+adopts the codebased approach, in which security goals and hardness
+assumptions are modelled as probabilistic programs (called experiments
+or games) with unspecified adversarial code, and uses tools issued
+from program verification and programming language theory to rigorously
+justify cryptographic reasoning.
+
+EasyCrypt is part of the [Formosa project](https://formosa-crypto.org/).
+
+### Resources
+
+ - [Find us on GitHub](https://github.com/EasyCrypt/easycrypt)
+ - [Installing EasyCrypt](https://github.com/EasyCrypt/easycrypt/README.md)
+ - Check out our [new tutorial](https://easycrypt.gitlab.io/easycrypt-web/docs/intro)
+ - We have a [reference manual](https://www.easycrypt.info/easycrypt-doc/refman.pdf).
+   However, note that this reference manual has not been updated for
+   years now and does not reflect the current (stable & unstable) status of
+   EasyCrypt.
+ - We are currently revamping our documentation on
+   [program logic tactics](https://www.easycrypt.info/ec-tactics/).