proof topic
List
proof repositories
creusot
1.0k
Stars
47
Forks
Watchers
Creusot helps you prove your code is correct in an automated fashion.
idris-insertion-sort
28
Stars
4
Forks
Watchers
Provably correct implementation of insertion sort in Idris.
cryptominisat
798
Stars
180
Forks
Watchers
An advanced SAT solver
bootstrap-dark
157
Stars
18
Forks
Watchers
The Definitive Guide to Dark Mode and Bootstrap 4 - A proof of concept
bootstrap-dark-5
358
Stars
47
Forks
Watchers
The Ancillary Guide to Dark Mode and Bootstrap 5 - A continuation of the v4 Dark Mode POC.
CreuSAT
591
Stars
10
Forks
Watchers
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
iron
139
Stars
10
Forks
Watchers
Coq formalizations of functional languages.
merkle-patricia-tree
306
Stars
90
Forks
Watchers
Project is in active development and has been moved to the EthereumJS VM monorepo.
chronicle
467
Stars
27
Forks
Watchers
Public append-only ledger microservice built with Slim Framework
verdi
575
Stars
56
Forks
Watchers
A framework for formally verifying distributed systems implementations in Coq