Arithmetic constraints resolver verified in Coq for the certification of EVM optimizations
Primary LanguageTeX
This repository is not active