how install cryptol ubuntu

ubuntu

cryptol

domain-specific language of cryptography
http://www.cryptol.net/
Install sudo apt install cryptol
Description:

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.