Software Verification Course with Lean
A free crash course with focus on functional programming.
Dear friends,
We're delighted to announce our free course on 'Software Verification', emphasising functional programming!
You can join the course by filling up this short form https://forms.gle/42CCTcQTbSZXEhdw7 which will give you access to the Zulip channel containing more resources and help. Alternatively, you can audit the course’s video content via the YouTube playlist below:
The course is going to be covering more or less the following:
1. Definitions and statements
2. Backward proofs via tactics
3. Functional programming
4. Inductive predicates
5. Decidability of propositions
6. Final project (we’ll issue open source microgrants to the top three projects)
Finally, the GitHub repo for the course is https://github.com/quantumformalism/software-verification.
Many thanks,
Zaiku Group team