Pinned Repositories
appliedfm.github.io
Public website for applied.fm
coq-certicoq-block
coq-vsu
Tools for working with Verified Software Units
coq-vsu-int63
Formally verified 63-bit integer arithmetic, implemented in C and proven in Coq
coq-vsu-int_or_ptr
docker-coq-vst
Docker images of the Coq proof assistant with compcert and VST pre-installed
growth-data
Measuring the growth of open source formal methods
vstyle
A style guide for Coq
vstyle-tools
A formatter/linter for Coq source
appliedfm's Repositories
appliedfm/vstyle
A style guide for Coq
appliedfm/vstyle-tools
A formatter/linter for Coq source
appliedfm/coq-vsu-int_or_ptr
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/appliedfm.github.io
Public website for applied.fm
appliedfm/coq-certicoq-block
appliedfm/coq-vsu
Tools for working with Verified Software Units