Re: [Proposal] The Formal Methods in GNU Guix Working Group

[Ludovic Courtès]

Hi!

Julien Lepiller <address@hidden> skribis:

> I forgot to metion I have a small channel at
> https://framagit.org/tyreunom/guix-coq-channel that keeps track of
> every coq version since 8.6. I use it to test my coquille plugin on
> every coq version that exists, but I'm sure there are other use cases
> :)

That’s an interesting kind of channel that’d be worth promoting (I think
many people have similar needs for their CI.)  If you feel like writing
a blog post over the holidays…  ;-)

It’s also a very concrete item that’s directly useful to formal methods
people, a good way to create ties.

Ludo’.