proof topic
List
proof repositories
VST
423
Stars
88
Forks
Watchers
Verified Software Toolchain
verdi-raft
178
Stars
18
Forks
Watchers
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
l4v
491
Stars
104
Forks
Watchers
seL4 specification and proofs
chainpoint-cli
59
Stars
11
Forks
Watchers
A Command Line Interface (CLI) for creating and verifying Chainpoint proofs.
disel
93
Stars
8
Forks
Watchers
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
gapt
91
Stars
18
Forks
Watchers
GAPT: General Architecture for Proof Theory
Snapshop
65
Stars
3
Forks
Watchers
On-chain snapshots of the whole blockchain state
haal
101
Stars
16
Forks
Watchers
Hääl - Anonymous Electronic Voting System on Public Blockchains
ZKbasicsCS
119
Stars
6
Forks
Watchers
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"