Awesome Lean / Libraries
17Mobile
3 entries
- lean-iosBuild iOS apps with Lean: patched runtime, SDL3 bindings and build scaffolding.paulcadman/lean-ios
- lean4-androidCross-compiles the Lean runtime for Android (aarch64) with the NDK.saviorand/lean4-android
- lean-composeTyped DSL for authoring Jetpack Compose UI in Lean (example app calling Lean over JNI).saviorand/lean-compose