appliedfm's repositories
vstyle-tools
A formatter/linter for Coq source
growth-data
Measuring the growth of open source formal methods
docker-coq-vst
Docker images of the Coq proof assistant with compcert and VST pre-installed
coq-vsu-int63
Formally verified 63-bit integer arithmetic, implemented in C and proven in Coq
appliedfm.github.io
Public website for applied.fm