GitHub repository: tchajed/goose
Primary language: Go
Created: 2019-02-09T17:15:07Z
Description: Goose converts a small subset of Go to Coq