#
alectryon
Documentation generation tool for proof assistants
ProgrammingConvert Coq/Rocq Proofs to PDF with Mathematical Symbols
Learn how to convert Coq/Rocq proofs to PDF with proper mathematical symbols using Alectryon and LaTeX. Step-by-step guide for professional documentation.
4 answers• 1 view