Some minor fixes in chapter 3

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

Some minor fixes in chapter 3 #12

Closed anton-trunov closed 5 years ago

anton-trunov commented 5 years ago

I didn't push these directly because the patch contains some minor grammar fixes that have been sitting on my hard drive for a while now and I'd like the author to double-check that I didn't bork the meaning :)