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 ?

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

Perhaps alectryon can help there?

Last updated: Jun 24 2024 at 13:02 UTC