GitHub repository: HMPerson1/formal-crypto
Primary language: Coq
Created: 2019-08-07T04:59:31Z
Description: Some proofs about cryptography