README.md

Interfaces for the EvmYul and KEVM models

This folder contains interfaces to reason with the EvmYul and KEVM models.

EvmYulInterface: Interface for the EvmYul model
FuncInterface: Interface for dealing with generated KEVM functions
GasInterface: Interface for the «_<_>_SCHEDULE_Int_ScheduleConst_Schedule» function
Tactics: Tactics to help with the GasInterface.lean proofs