/pnp

Lecture notes for a short course on proving/programming in Coq via SSReflect.

Primary LanguageCoqBSD 2-Clause "Simplified" LicenseBSD-2-Clause

No issues in this repository yet.