LeanBitLab/LeanType-Offline-AI-Plugin

A dynamic plugin for the LeanType Keyboard providing 100% on-device neural proofreading, grammar correction and custom ai key

语言：Kotlin · GitHub 星标：17 · Fork：3

在 GitHub 上查看原仓库