LLMLean Returns: LLM-Powered Proof Suggestions for Lean

LLMLean returns with better context support and simpler configuration, offering LLM-driven proof suggestions in Lean via both local and cloud models, evolving from 2023's llmstep.

2026-11-14 ~ 2026-11-14 · 2 related posts