Fix build and some typos

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

Closed palmskog closed 6 years ago

palmskog commented 6 years ago

I couldn't build the latest version on Ubuntu. This PR fixes that and also fixes some typos.