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."
Submission Summary: 0 pending, 0 declined, 1 accepted (1 total, 100.00% accepted)
You can't have everything... where would you put it? -- Steven Wright
