goose-lang / goose

Goose converts a small subset of Go to Coq
104Updated last week

Related projects

Alternatives and complementary repositories for goose