lean4-example An example of using Lean Copilot in your project. Requirements Supported platforms: Linux and macOS (Intel or Apple Silicon). elan Steps lake exe LeanCopilot/download lake build Questions and Bugs Please report in the LeanCopilot repo.