npm

cryptol

Domain-specific language for specifying and verifying cryptographic algorithms

brewmacoslinux
Try with needOr install directly
Source

About

Domain-specific language for specifying cryptographic algorithms

Commands

cryptol

Examples

Start the Cryptol interactive REPL$ cryptol
Execute a Cryptol script file$ cryptol -c ':load myalgorithm.cry'
Check syntax and types of a Cryptol specification$ cryptol -c ':check myspec.cry'