appliedfm

Here are 6 public repositories matching this topic...

A style guide for Coq

A formatter/linter for Coq source

formatter coq appliedfm

Measuring the growth of open source formal methods

coq idris agda lean ada isabelle tla appliedfm

Docker images of the Coq proof assistant with compcert and VST pre-installed

c dockerfile continuous-integration coq compcert docker-coq appliedfm coq-vst

Formally verified 63-bit integer arithmetic, implemented in C and proven in Coq

c coq verification formal-methods compcert formal-verification formal-specification appliedfm coq-vst

Tools for working with Verified Software Units

c coq verification formal-methods compcert formal-verification formal-specification appliedfm coq-vst

To associate your repository with the appliedfm topic, visit your repo's landing page and select "manage topics."