A web-based demonstration of blockchain concepts.
- bitcoin
- blockchain
- blockchain-technology
Repository Index
47,133 repositories indexed
1–2 of 2 · Most stars
A framework for smart contract verification in Coq
- blockchain
- coq
- smart-contracts
- verification