Projects

Coq'Stats
Coq’Stats is a program to get statistics about Coq projects.
Repository
VFPG
Verified Flight Plan Generator in Coq.
Repository Paparazzi Paparazzi
Formal verification of the Paparazzi autopilot
Verification of a mathematical library using Frama-C.
Repository Paparazzi Paparazzi