Update README.md

Author: dfirsov

README.md

@@ -1,5 +1,7 @@
 # Reflection, Rewinding, and Coin-Toss in EasyCrypt
 
+This repository (under the tag cpp2022) contains the snapshot of EasyCrypt code associated with the paper 
+"D. Firsov, D. Unruh. Reflection, Rewinding, and Coin-Toss in EasyCrypt." published on CPP2022.
 
 Setup
 -----
@@ -85,4 +87,4 @@ Contents
 
 * CoinToss.ec - security of a coin-toss protocol.
 
-  lemma from Sec. 5.2: coin_toss_alice
+  lemma from Sec. 5.2: coin_toss_alice