Cryptol is a nice tool, but it can&#x27;t eliminate most important crypto bugs (for example, the sorts of bugs found in OpenSSL).  It&#x27;s useful for proving things about bit-mixy crypto code like AES, SHA, etc, but that code rarely has bugs (due to known-answer tests).