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

Relation to the MathComp book? #2

Closed palmskog closed 6 years ago

palmskog commented 6 years ago

It would be really helpful if there was a comparison of PnP with the MathComp book (MCB). Should readers first work through PnP and then move on to MCB, or read them side by side? What material is complementary and what is in both books?

palmskog commented 6 years ago

Also have similar concerns about Chlipala's FRAP book.