ConCert
A framework for smart contract verification in Coq
Coq98mit
7 months ago
blockchaincoqsmart-contracts
carapace
command argument completion generator for spf13/cobra
Go166apache-2.0
3 months ago
bashcarapacecobra
ConCert
A framework for smart contract verification in Coq
Coq98mit
7 months ago
blockchaincoqsmart-contracts