Hey this is great! I’m a hobbyist too but I’m glad to see a formal methods community in Guix! I’ll be following.
- John
- Re: [Proposal] The Forma... Vicente Eduardo
- Re: [Proposal] The Forma... Jan Nieuwenhuizen
- Re: [Proposal] The Formal Methods in GNU Guix... Brett Gilio
- Re: [Proposal] The Formal Methods in GNU Guix Work... zimoun
- Re: [Proposal] The Formal Methods in GNU Guix... Julien Lepiller
- Re: [Proposal] The Formal Methods in GNU ... Brett Gilio
- Re: [Proposal] The Formal Methods in GNU ... Ludovic Courtès
- Re: [Proposal] The Formal Methods in ... Brett Gilio
- Re: [Proposal] The Formal Methods in GNU Guix... Brett Gilio
- Re: [Proposal] The Formal Methods in GNU Guix Work... Jack Hill
- Re: [Proposal] The Formal Methods in GNU Guix... John Soo
- Re: [Proposal] The Formal Methods in GNU ... Brett Gilio
- Re: [Proposal] The Formal Methods in GNU Guix... Brett Gilio
- Re: [Proposal] The Formal Methods in GNU Guix Work... Amin Bandali
- Re: [Proposal] The Formal Methods in GNU Guix... Brett Gilio
- Re: [Proposal] The Formal Methods in GNU ... Ludovic Courtès
- Re: [Proposal] The Formal Methods in GNU Guix Work... Ludovic Courtès
- Re: [Proposal] The Formal Methods in GNU Guix... Brett Gilio
- [Proposal] The Formal Methods in GNU Guix Working ... Alexandru-Sergiu Marton
- Re: [Proposal] The Formal Methods in GNU Guix Work... Orians, Jeremiah (DTMB)
