Stream: Coq users

Topic: Packaging a Coq library for nix?

view this post on Zulip Fernando Chu (Mar 23 2024 at 21:45):

Hi, I'm new-ish to Coq and nix and I would like to package a library (Unimath). I was wondering if there are any easy ways to do this. Any pointers are very appreciated!

view this post on Zulip Vincent Laporte (Mar 24 2024 at 16:52):

A good start might be to read the relevant part of the manual:

Last updated: Jun 22 2024 at 15:01 UTC