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

Various text fixes #14

Closed k4rtik closed 4 years ago

k4rtik commented 4 years ago

Keeping as draft PR as I may find more typos in my reading of the text in the next couple of days.

ilyasergey commented 4 years ago

Thanks for the fixes! I'll incorporate them once you indicate that you're done with your pass.

k4rtik commented 4 years ago

Hi @ilyasergey, I am done for now. I hope these suggested changes are too controversial (unlike a change from "similarly" to "similar" in various places that I was about to propose but abandoned).

Please feel to free edit as you please.

I really enjoyed the clarity of prose in your book for the chapters that I read. I hope to come back to finish it later. :)