Galois - Blog - Cryptol User's Mailing List

Thursday

Jan292009

Cryptol User's Mailing List

Galois, Inc. |

Thursday, January 29, 2009 at 11:07AM | in

Community,

Cryptography,

Formal Methods,

Technology,

cryptol

Cryptol now has a mailing list for discussions: The language, the tool set, programming idioms, everthing and anything related to Cryptol. Looking forward to seeing you join us!

Reader Comments

There are no comments for this journal entry. To create a new comment, use the form below.

Post a New Comment

Enter your information below to add a new comment.

My response is on my own website »

Author:

Author Email (optional):

Author URL (optional):

Post:

↓ | ↑

Some HTML allowed: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <code> <em> <i> <strike> <strong>