We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Update of the book for the announce.
be precise about the jscoq revision in Makefile