Calvin Beck
2018-07-03 18:10:12 UTC
Hello fellow Coq users,
I have gone through the #coq channel from the Deepspec Summer School in
2017's slack, and organized it into a basic set of notes here:
https://www.typesofnote.com/dsss17-slack.html
Some people suggested that I post this resource here in case anybody else
finds it useful, or in case any of you have any suggestions (feel free to
make pull requests to clarify anything).
Hope some of you find something of use amongst this!
-- Calvin Beck
I have gone through the #coq channel from the Deepspec Summer School in
2017's slack, and organized it into a basic set of notes here:
https://www.typesofnote.com/dsss17-slack.html
Some people suggested that I post this resource here in case anybody else
finds it useful, or in case any of you have any suggestions (feel free to
make pull requests to clarify anything).
Hope some of you find something of use amongst this!
-- Calvin Beck