appliedfm

Here are 6 public repositories matching this topic...

appliedfm / vstyle

A style guide for Coq

c haskell dependent-types style-guide ocaml coq proof formal-semantics verification proof-assistant software-engineering formal-methods formal-verification formal-mathematics formal-specification formal-proofs appliedfm

Updated Nov 30, 2021

appliedfm / vstyle-tools

Star

A formatter/linter for Coq source

formatter coq appliedfm

Updated Jan 15, 2022
OCaml

appliedfm / growth-data

Star

Measuring the growth of open source formal methods

coq idris agda lean ada isabelle tla appliedfm

Updated Nov 7, 2024
Python

appliedfm / docker-coq-vst

Star

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

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

Updated Feb 15, 2022
Shell

appliedfm / coq-vsu-int63

Star

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

Updated Mar 4, 2022
Coq

appliedfm / coq-vsu

Star

Tools for working with Verified Software Units

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

Updated Jan 19, 2022
OCaml

Improve this page

Add a description, image, and links to the appliedfm topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

appliedfm

Here are 6 public repositories matching this topic...

appliedfm / vstyle

appliedfm / vstyle-tools

appliedfm / growth-data

appliedfm / docker-coq-vst

appliedfm / coq-vsu-int63

appliedfm / coq-vsu

Improve this page

Add this topic to your repo