# Correct By Construction (CBC) Casper

### Resources

<https://github.com/ethereum/cbc-casper/wiki>