Stream: Coq users

Topic: Can Coq generate nicely styled documentation for markdown

view this post on Zulip walker (Oct 21 2022 at 12:20):

Is there way to generate md files from coq, that look as nice as this agda vrsion https://1lab.dev/ ?

view this post on Zulip Julien Puydt (Oct 21 2022 at 12:31):

Perhaps alectryon can help there?

Last updated: Oct 03 2023 at 04:02 UTC