search

thoughtpolice / cryptol-mode

A Cryptol major mode for Emacs.
https://www.cryptol.net
GNU General Public License v3.0
16 stars 6 forks source link

Compile to Isabelle easily. #9

Open thoughtpolice opened 11 years ago

thoughtpolice commented 11 years ago

This might be complicated due to the fact I don't know how to get the Isabelle theories publicly; Galois must provide them.