leanprover/verso

Manual genre: multiple author rendering

Opened this issue · 0 comments

david-christiansen commented

If a book has multiple authors, they are currently rendered together, e.g. "David ChristiansenOther Person" in HTML