GitHub repository: kframework/evm-modeling
Primary language: TeX
Description: Modeling EVM in the K framework