This ongoing project, in collaboration with F. Dupressoir, M. Meijers and several others, aims to ease the learning curve for new users of EasyCrypt. We are developing a collection of tutorial materials designed to make the tool more accessible.