Rocq
Documentation Portal
Rocq is a general-purpose, 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