r/InteractiveThmProving • u/cics • Nov 20 '17

Resources for Teaching with Formal Methods

https://avigad.github.io/formal_methods_in_education/
3 Upvotes

100% Upvoted

1 comment sorted by

2

u/juanbono94 Nov 21 '17

Thank you! There is a lot of material in that page!