This repository is for go-formal organisation coordination
The go-formal GitHub organisation is a place to house and list formal analysis tools for and in the Go programming lanaguage. Membership is open to all, public membership is however a requirement. please send an email to wsc@iri-labs.com if interested.
Please see the wiki for a list of formal tools in Go.