Fix a typo in FunProg.v

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

Closed fangyi-zhou closed 4 years ago