Install cryptol by entering the following commands in the terminal:
sudo apt update sudo apt install cryptol
Description:
domain-specific language of cryptography
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.
Homepage: http://www.cryptol.net/
Version: 2.4.0-3
Section: universe/utils