GitHub repository: proof-ladders/protocol-ladder
Primary language: TeX
Created: 2025-04-08T15:44:05Z
Description: A set of cryptographic proofs for simple protocols, to be formalised in various tools.