Lecture notes for a short course on proving/programming in Coq via SSReflect.
Primary LanguageCoqBSD 2-Clause "Simplified" LicenseBSD-2-Clause