The Cryptol specification language was designed by Galois for the NSA's Trusted Systems Research Group as a public standard for specifying cryptographic algorithms. A Cryptol reference specification can serve as the formal documentation for a cryptographic module. Unlike current specification mechanisms, Cryptol is fully executable, allowing designers to experiment with their programs incrementally as their designs evolve.
more about Cryptol here......https://github.com/GaloisInc/cryptol
and the latest release info here......https://github.com/GaloisInc/cryptol/releases/tag/v2.2.0
more about Cryptol here......https://github.com/GaloisInc/cryptol
and the latest release info here......https://github.com/GaloisInc/cryptol/releases/tag/v2.2.0