coqsucker / pnp Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ilyasergey/pnp
Lecture notes for a short course on proving/programming in Coq via SSReflect.
Home Page: https://ilyasergey.net/pnp
License: BSD 2-Clause "Simplified" License