Lean4

Beneficial-AI-Foundation/lean4-claude-plugin·by Alok Singh

Lean 4 language server for theorem proving

Five minutes, every Monday — the tools, releases and tactics for shipping solo.

This week for builders