pnp

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

159 stars

14 watching

17 forks

Language: Coq

last commit: over 3 years ago

coqdependent-typeshoare-logicmathcompssreflecttutorial