The list of "books and long tutorials" has some outdated and missing links and is non-uniform, which I try to address in this PR.
Recently, a draft of a new 350+ page book on Coq appeared (https://github.com/uds-psl/MPCTT), but we should probably check with the author if he wants it listed before adding it, so I didn't include it here.
The list of "books and long tutorials" has some outdated and missing links and is non-uniform, which I try to address in this PR.
Recently, a draft of a new 350+ page book on Coq appeared (https://github.com/uds-psl/MPCTT), but we should probably check with the author if he wants it listed before adding it, so I didn't include it here.