Description
Provides Cryptol, a language for describing cryptographic algorithms and reasoning about their behavior. It is used for specification, testing, verification, and education around cryptographic code.
Use it when developing or analyzing cryptographic algorithms with formal or property-based workflows. It helps reason about designs, but it does not automatically make an implementation secure.