weaversa / cryptol-course

The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.

BSD 3-Clause "New" or "Revised" License

25 stars 13 forks source link

Closed djmorel closed 2 years ago

djmorel commented 2 years ago

Features

Resolved typos regarding the Game lab artifacts.
Added web URLs for the Game lab's links to provide better navigation for the web-based version of the course.