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

Fix a few small typos #6

Closed dbp closed 5 years ago

dbp commented 5 years ago

This fixes a couple minor typos I found in the PDF, and one stylistic fix where a command at the end of a sentence resulted in a double period (so I removed the inner period).