Automatic translation of Miden assembly to Lean - View it on GitHub