ihex A rudimentary implementation of Intel HEX in Lean 4. Disclaimer: the package is highly experimental and subject to frequent breaking changes. How to use See Lake. Run tests lake test License MIT No Attribution