[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) |
Hi!
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 https://fm.guix.gnu.org/ 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
formal-methods.guix.info or fm.guix.info, next to hpc.guix.info), but
the idea sounds great to me!
Thanks,
Ludo’.
- [Proposal] The Formal Methods in GNU Guix Working Group, Brett Gilio, 2019/12/15
- Re: [Proposal] The Formal Methods in GNU Guix Working Group, Julien Lepiller, 2019/12/16
- Re: [Proposal] The Formal Methods in GNU Guix Working Group, Julien Lepiller, 2019/12/16
- Re: [Proposal] The Formal Methods in GNU Guix Working Group, Brett Gilio, 2019/12/16
- Re: [Proposal] The Formal Methods in GNU Guix Working Group, Ludovic Courtès, 2019/12/27
- Re: [Proposal] The Formal Methods in GNU Guix Working Group, Brett Gilio, 2019/12/27
- Re: [Proposal] The Formal Methods in GNU Guix Working Group,
Ludovic Courtès <=
- Re: [Proposal] The Formal Methods in GNU Guix Working Group, Brett Gilio, 2019/12/27
- Re: [Proposal] The Formal Methods in GNU Guix Working Group, Ludovic Courtès, 2019/12/30
- Re: [Proposal] The Formal Methods in GNU Guix Working Group, Brett Gilio, 2019/12/31
- Re: [Proposal] The Formal Methods in GNU Guix Working Group, Amin Bandali, 2019/12/28
- Re: [Proposal] The Formal Methods in GNU Guix Working Group, Vicente Eduardo, 2019/12/28
- Re: [Proposal] The Formal Methods in GNU Guix Working Group, Jan Nieuwenhuizen, 2019/12/29
Re: [Proposal] The Formal Methods in GNU Guix Working Group, Brett Gilio, 2019/12/16
Re: [Proposal] The Formal Methods in GNU Guix Working Group, zimoun, 2019/12/16