GitHub repository: proof-ladders/asymmetric-ladder
Primary language: eC
Description: A set of example cryptographic proofs for simple asymmetric constructions, to be formalised in various tools.