appliedfm
There are 6 repositories under appliedfm topic.
appliedfm/vstyle
A style guide for Coq
appliedfm/vstyle-tools
A formatter/linter for Coq source
appliedfm/docker-coq-vst
Docker images of the Coq proof assistant with compcert and VST pre-installed
appliedfm/growth-data
Measuring the growth of open source formal methods
appliedfm/coq-vsu-int63
Formally verified 63-bit integer arithmetic, implemented in C and proven in Coq
appliedfm/coq-vsu
Tools for working with Verified Software Units