Coq requirements in Common Criteria evaluations

inria.hal.sciencesite

Guide on how to write readable and reviewable Coq code in high assurance applications.

from

Coq

added

2026-10-10

likes

0

similar

1. ▲

   Coq Exchange: ideas and experiment reports about Coq project.inria.fr

   site link ↗
   site
2. ▲

   Official Coq standard library coq.inria.fr

   site link ↗
   
3. ▲

   Official Coq manual coq.inria.fr

   site link ↗
   site
4. ▲

   Coq subreddit reddit.com

   site link ↗
   site
5. ▲

   Official Coq wiki github.com

   site link ↗
   site
6. ▲

   Mike Nahas's Coq Tutorial mdnahas.github.io

   Basics of using Coq to write formal proofs.

   site topic math link ↗
   site

Coq › Resources > Tutorials and Hints: “Guide on how to write readable and reviewable Coq code in high assurance applications.”