[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Ludovic Courtès
Subject: Re: [Proposal] The Formal Methods in GNU Guix Working Group
Date: Sat, 28 Dec 2019 00:37:12 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)


Brett Gilio <address@hidden> skribis:

> 100% Agreed. Amin is also working on packaging the Lean prover and I am
> taking an interest in seeing if we can extend the OPAM importer to have
> a subimporter for Coq.

That’d be nice!

> Ludo, what do you think about an URL hosting a
> haunt webpage designed by Amin and I (and maybe others) to detail the
> purpose, goal, and maybe institutional use cases (research papers) of
> GNU Guix in the formal methods community?

The domain name would have to be discussed with others (other
maintainers in particular; perhaps a better choice would be or, next to, but
the idea sounds great to me!


reply via email to

[Prev in Thread] Current Thread [Next in Thread]