Clément Pit-Claudel
Assistant Professor
Assistant professor at EPFL, heading the SYSTEMF lab; research focuses on programming languages, compilers, and formal verification.
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