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: Jan 28 2023 at 06:30 UTC