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

URL and text fixes #3

Closed palmskog closed 5 years ago

palmskog commented 6 years ago

Here are some fixes to grammar and URLs. Also, I added a mention of the Company-Coq extensions to Proof General, which should be interesting to beginners who are used to IDEs like Eclipse and IntelliJ.