BSD-3-Clause licensed by Galois, Inc.
Maintained by [email protected]

Module documentation for 2.4.0

This version can be pinned in stack with:[email protected]:2bee5fb1a197ddde354e17c2b8b4f3081f005a133efe1eb2a021cedfd3b154f1,10046

Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language. For more, see