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

Fix for Coq 8.9.0 and MathComp 1.8.0 #8

Closed palmskog closed 5 years ago

palmskog commented 5 years ago

Also, I adjusted installation instructions for modern Coq.