Style Guide for Coq =================== Published by `applied.fm `_. .. note:: This is a work in progress! We welcome feedback and pull requests. `Find us on GitHub `_. About ----- .. toctree:: :maxdepth: 3 principles faq Code Style ---------- .. toctree:: :maxdepth: 3 formatting naming_conventions scope_management definitions types ltac Extraction Style ---------------- .. toctree:: :maxdepth: 3 extraction_ocaml extraction_haskell extraction_c Project Style ------------- .. toctree:: :maxdepth: 3 project_structure