Self-hosted alternatives to lean4
No self-hosted apps like lean4 yet.
About lean4
L
lean4
Unified Lean 4 plugin (draft, formalize, autoformalize, prove, autoprove
Unified Lean 4 plugin (draft, formalize, autoformalize, prove, autoprove, checkpoint, review, refactor, golf, learn, doctor) — LSP-first, scripts fallback.
- Price
- Free
- Made by
- cameronfreer
- Category
- AI Skills
- Website
- github.com/cameronfreer/lean4-skills/lean4