kangaroo0.1.0
Cryptographic notation and game-hopping proofs in the style of The Joy of Cryptography.
