How to Install cryptol in Ubuntu 18.04

Install cryptol by entering the following commands in the terminal:

sudo apt update
sudo apt install cryptol


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.


Version: 2.4.0-3

Section: universe/utils