3 ms·

I highly recommend the programming language Idris and the book "Type-Driven Development with Idris" if you want a more "practical" introduction to proving code

by jnash 4y ago

I highly recommend the programming language Idris and the book "Type-Driven Development with Idris" if you want a more "practical" introduction to proving code correct. It is a great read and every chapter pretty much blew my mind :)

AlotOfReading 4y ago
The cryptol-course [1] is also a good, practical introduction to the system discussed in this paper. [1] https://github.com/weaversa/cryptol-course https://github.com/weaversa/cryptol-course