Coq

Coq'Stats
Coq’Stats is a program to get statistics about Coq projects.
Repository
VFPG
Verified Flight Plan Generator in Coq.
Repository Paparazzi Paparazzi