How do I make coqdoc to output HTML:
For more information, visit
<a href="https://example.com">https://example.com</a>
while keeping the Coq code readable (i.e. without escaping)?
1 Like
Run into this problem, ended up with
#<a href="https://example.com">https://example.com</a>#
%\url{https://example.com}%
which seems doubly worse.