Hello Gophers,
The go-formal github organisation at http://github.com/go-formal is a
GitHub organisation
for sharing and coordinating work related to formal logic technologies in
and for Go.
Effective immediately, Marko Ristin-Kaufmann (marko.ris...@gmail.com) is
the new acting steward of go-f
As others might wonder about knowledge requirements I thought I'd follow up
here too.
Currently, there is only one rule about the go-formal organisation: no
private members. This doesn't require "formal" knowledge as is.
The idea when go-formal started was to provide a place people could put
(Pardon, please ignore the previous message, it should have been private.)
Le mer. 23 janv. 2019 à 13:58, Marko Ristin-Kaufmann
a écrit :
> Hi Scott,
> Could you describe a bit in more detail what needs to be done and how
> often? Are there any knowledge requirements?
>
> I already develop githu
Hi Scott,
Could you describe a bit in more detail what needs to be done and how
often? Are there any knowledge requirements?
I already develop github.com/Parquery/gocontracts and I am quite interested
in the topic so I might be a potential candidate.
Cheers Marko
Le mer. 23 janv. 2019 à 10:20, S
Hello Gophers,
Some time ago, I started the go-formal github organisation as a place for
formal analysis tools in and for Go.
I am looking for a volunteer to take over ownership of the github
organisation go-formal as I will be unable to that role starting
in the coming weeks.
The administrat
