leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: new members

Topic: Can doc-gen4 be used on executable source files?


Hanson Char (Jun 19 2025 at 17:30):

Can doc-gen4 be used to generate doc for lean source files of executables instead of (or more like in addition to) library source files?

Jz Pan (Jun 19 2025 at 19:31):

I think yes, doc-gen4 can generate doc for itself.

Hanson Char (Jun 19 2025 at 20:14):

Is there an example configuration somewhere I can use as a reference?


Last updated: Dec 20 2025 at 21:32 UTC

Theme Simple by wildflame © 2016 Powered by jekyll