After a weekend of clicking through forums and reading about previous attempts I’ve finally gotten Frege to work on Android. The implementation can be found here The implementation is quite hacky but I have faith in its extensibility. I think it’s a matter of getting a better grasp of the Android build system. To run the build on your machine you’ll need to download Frege 3.24.100.1-jdk7, open it