runtimeverification / casper-cbc-proofs
Repo for protocol verification of Casper Correct-By-Construction
| Jan | FEB | Mar |
| 01 | ||
| 2020 | 2021 | 2022 |

See what the GitHub community is most excited about today.
Repo for protocol verification of Casper Correct-By-Construction
Fork of http://compcert.inria.fr/