GitHub repository: uwplse/street-fighting-proof-assistants
Primary language: Coq
Created: 2016-09-17T20:28:29Z
Description: Educational materials for practical use of proof assistants to get things done