Stream: Coq users

Topic: Coqdoc with dune

Piyush P Kurur (May 21 2021 at 05:37):

How does one ask dune to build documentation using coqdoc ?

Last updated: Sep 23 2023 at 15:01 UTC