Tactics-driven vericoding

OpenZeppelin Contracts is a library for secure smart contract development.

Working on some solutions to http://www.cis.upenn.edu/~bcpierce/sf/

Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.

K Framework Tools 7.0

Eth2.0 spec in Dafny

Dafny is a verification-aware programming language

A framework for applied category theory in the Julia language

An Introduction to CBC Casper Consensus Protocols

Central Repository for the Epoch 0 coursework and quizzes. Contains all the content, cross-referenced and linked.

Sigma Knowledge Engineering Environment

✨ Build a beautiful and simple website in literally minutes. Demo at https://beautifuljekyll.com

Access hint databases from tactics.

Software foundations