Hi! Brett Gilio <bre...@gnu.org> 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’.