#
rocq
Industrial-strength interactive theorem prover
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