broad-coq-tutorial
broad-coq-tutorial copied to clipboard
codyroux
Some unstructured notes concerning the Broad tutorial to take place in March 2020
Results
1
broad-coq-tutorial issues
Sort by
recently updated
recently updated
newest added
Firstly, I'd like to thank you for making this tutorial and accompanying video. It's really helping me get to grips with this subject. I am still learning so sorry if...
