wiki:SchoolParis14

Version 1 (modified by Pierre-Yves Strub, 3 years ago) (diff)

--

EasyCrypt Installation Instructions (EasyCrypt-F*-CryptoVerif School 2014)

We will provide binary installers for Linux/Windows/MacOSX.

In case you come to the EasyCrypt tutorial without EasyCrypt being installed, you will be able to get it from USB keys.

Attachments (9)