Some unstructured notes concerning the Broad tutorial to take place in March 2020
Primary LanguageCoq