feat: AI next-word suggestions (on-device first, default off) - #422

feat: AI next-word suggestions (on-device first, default off)#422

Lloyd-Jackman-UKPL wants to merge 3 commits into

LeanBitLab:mainLeanBitLab/LeanType:mainfrom

Lloyd-Jackman-UKPL:feat/ai-next-wordLloyd-Jackman-UKPL/LeanType:feat/ai-next-wordCopy head branch name to clipboard