An advanced SAT solver
CreuSAT - A formally verified SAT solver written in Rust and verified wi...
A framework for formally verifying distributed systems implementations i...
The Agda standard library
seL4 specification and proofs
Public append-only ledger microservice built with Slim Framework
The Ancillary Guide to Dark Mode and Bootstrap 5 - A continuation of the...
Project is in active development and has been moved to the EthereumJS VM...
An implementation of the Raft distributed consensus protocol, verified i...
The Definitive Guide to Dark Mode and Bootstrap 4 - A proof of concept
Coq formalizations of functional languages.
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
Hääl - Anonymous Electronic Voting System on Public Blockchains
Correctness proofs of Ethereum token contracts
Distributed Separation Logic: a framework for compositional verification...