search

ilyasergey / pnp

Lecture notes for a short course on proving/programming in Coq via SSReflect.
https://ilyasergey.net/pnp
BSD 2-Clause "Simplified" License
159 stars 16 forks source link

Port to FCSL PCM #5

Closed palmskog closed 5 years ago

palmskog commented 5 years ago

I want to be able to recommend this book as an up-to-date resource on Coq to students and colleagues, so here is a port to FCSL PCM tested with Coq 8.8.2 and MathComp 1.7.0. Various deprecations have also been fixed.