This package can be found on PyPI.

This repository contains the Jupyter Notebooks behind my O'Reilly report, A Whirlwind Tour of Python (free 100-page pdf). A Whirlwind Tour of Python is a fast-paced introduction to essential ...

Abstract: We present a methodology for using the EasyCrypt proof assistant (originally designed for mechanizing the generation of proofs of game-based security of cryptographic schemes and protocols) ...