Don't bother me while I'm coding unless you brought ramen.
vyorkin / coq-fv Goto Github PK
View Code? Open in Web Editor NEW:construction: My notes and solutions to Coq course by Anton Trunov (source: https://github.com/anton-trunov/coq-lecture-notes) in 2019. WIP.
License: MIT License