3.1. Installation

Add this package to your lakefile.toml:

[[require]]
name = "CoqToLeanAsm"
git = "https://github.com/your-repo/CoqToLeanAsm"

Then import the main module:

import CoqToLeanAsm
open X86