Repository navigation
Lean4Code build for macOS (Apple Silicon).
This build is not signed or notarized. On first launch, macOS
Gatekeeper may block it. To open it:
- Right-click the app -> Open, and confirm, OR
- Run in Terminal:
xattr -rd com.apple.quarantine /path/to/Lean4Code.app
Built from commit 040864e.