downloads

flytower fork builds — always the latest, verified by sha256 on every publish. no login, no vpn.

android

LeanType (hermes edition)

android keyboard fork of LeanBitLab/LeanType, adds a Hermes named-profile AI provider for proofread/translate

size 25.8 MB updated 2026-09-13T06:06:58Z

sha256: ebea37bcf10101446670986480d74b3821527473c5d54c04b7724cdf15c15300