And of course, it's at https://github.com/go-formal
On Thursday, 27 September 2018 11:38:08 UTC+2, Scott Cotton wrote: > > Hi all, > > I've just created a github organisation for formal tools in and for Go. > > There's not much there now, but it is open to all to list and house > related repos. > > Membership is open upon request (for now just send an email to > w...@iri-labs.com), we ask > only that you be an open (not secret) github member. > > Best, > Scott > > -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.