Lecture notes for a short course on proving/programming in Coq via SSReflect.
Home Page:https://ilyasergey.net/pnp
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool