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

Add opam file for the book #26

Open anton-trunov opened 3 years ago

anton-trunov commented 3 years ago

The opam file is supposed to fix the dependencies more formally. And the installation instructions are supposed to look like

opam install ./

We don't have to publish the opam file.

Related issue: https://github.com/ilyasergey/pnp/issues/20