> For the complete documentation index, see [llms.txt](https://tokens-economy.gitbook.io/consensus/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://tokens-economy.gitbook.io/consensus/chain-based-proof-of-stake/correct-by-construction-cbc-casper.md).

# Correct By Construction (CBC) Casper

### Resources

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