#
Lists (4)
Starred repositories
9
stars
written in Coq
Clear filter
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
A framework for formally verifying distributed systems implementations in Coq
Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
A formally verified high-level synthesis tool based on CompCert and written in Coq.
A category theory library built on top of Homotopy Type Theory, by Jason Gross