Creusot helps you prove your code is correct in an automated fashion.
-
Updated
May 1, 2024 - Rust
Creusot helps you prove your code is correct in an automated fashion.
An advanced SAT solver
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
A framework for formally verifying distributed systems implementations in Coq
seL4 specification and proofs
Public append-only ledger microservice built with Slim Framework
Verified Software Toolchain
The Ancillary Guide to Dark Mode and Bootstrap 5 - A continuation of the v4 Dark Mode POC.
Project is in active development and has been moved to the EthereumJS VM monorepo.
Reference implementation of the OpenRarity protocol with Python.
The Definitive Guide to Dark Mode and Bootstrap 4 - A proof of concept
Coq formalizations of functional languages.
Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs!
Zero-Knowledge Proofs "for (not too much 😉 ) dummies"
Hääl - Anonymous Electronic Voting System on Public Blockchains
Correctness proofs of Ethereum token contracts
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
GAPT: General Architecture for Proof Theory
Add a description, image, and links to the proof topic page so that developers can more easily learn about it.
To associate your repository with the proof topic, visit your repo's landing page and select "manage topics."