coq PresentationThe formal methods languageMay 1, 2025A Presentation about the Coq formal methods language.This browser does not support PDFs. Please download the PDF to view it: <a href=/images/projects/coq.pdf>Download PDF</a>.