Top 2 program-verification open source projects
coq-program-verification-template
Template project for program verification in Coq
shapesafe
SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
1-2 of 2 program-verification projects