The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.
Why do you think that https://github.com/facebook/infer is a good alternative to cryptol-course
The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.
Why do you think that https://github.com/facebook/infer is a good alternative to cryptol-course