broad-coq-tutorial icon indicating copy to clipboard operation
broad-coq-tutorial copied to clipboard

verified publisher icon codyroux
→

Metadata

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

broad-coq-tutorial

← Metadata

26
Stars
6
Forks
Watchers

Owner

verified publisher icon codyroux

Metadata

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

Back