There are 1 repository under appliedfm topic.
Measuring the growth of open source formal methods
Docker images of the Coq proof assistant with compcert and VST pre-installed
Formally verified 63-bit integer arithmetic, implemented in C and proven in Coq