Stream: Coq users

Topic: Coqdoc with dune


view this post on Zulip Piyush P Kurur (May 21 2021 at 05:37):

How does one ask dune to build documentation using coqdoc ?


Last updated: Feb 01 2023 at 13:03 UTC