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 typo in "Sections and modules" #28

Closed j3parker closed 3 years ago

anton-trunov commented 3 years ago

Thanks again :)