GitHub repository: GaloisInc/cryptol-specs
Primary language: TeX
Created: 2018-09-12T15:46:06Z
Description: Specifications of cryptographic algorithms in Cryptol