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

Module documentation for 2.2.5

This version can be pinned in stack with:[email protected]:1ced70abfc60198f5b14dc8f2508e71592b3656a0efb1e1915406d4dedcf0205,7258

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 http://www.cryptol.net/.