GitHub repository: michael-hahn/sto_coq
Primary language: Coq
Created: 2017-04-07T17:38:56Z
Description: Coq project for CS260 Verification