Skip to content
@goose-lang

Goose

Goose is a subset of Go that supports verification

Popular repositories Loading

  1. goose goose Public

    Goose converts a subset of Go to Rocq

    Go 119 15

  2. std std Public

    verified "standard library" for Goose

    Go 5

  3. primitive primitive Public

    Go

Repositories

Showing 3 of 3 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…