Introduction to the K Framework and KSolidity by Rikard Hjort and Shang Wei Lin
Channel: Ethereum Foundation
Date: 2020-05-13

Learn about the K's background and the Solidity semantics in the K framework.