goose-lang/goose

Goose converts a subset of Go to Rocq

语言：Go · GitHub 星标：143 · Fork：18

话题：coq · go

在 GitHub 上查看原仓库