Kotlean

About

Kotlean lets developers write an Android app's state, behavior, and UI in Lean, prove properties of that code, and compile it into the app. A thin Kotlin host renders native Android Views and performs platform effects, so the verified update and view functions are the code that runs on the device. It follows an Elm-style model, update, view loop and includes a Counter starter and a SnackNet game example.