Submission + - Cryptol now available (galois.com)
solweil writes: "A trial version of Cryptol, the language for the design and verification of cryptographic algorithms, is now available."
Matter cannot be created or destroyed, nor can it be returned without a receipt.
