Run check/exhaust on a given theorem. - Githubissues

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

Run check/exhaust on a given theorem. #10

Open thoughtpolice opened 11 years ago