Lecture notes for a short course on proving/programming in Coq via SSReflect.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool