SOURCE RECORD · github
A Lean library for machine-checked cryptographic proofs.
Open canonical source ↗
Research paper status → · Book status →