Rare find

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

github.com/ilyasergey/pnp

Problem

Audience

Updates

No founder updates yet. Check back soon.