goose-lang / goose

Goose converts a small subset of Go to Coq
103Updated this week

Related projects

Alternatives and complementary repositories for goose