ale - Asynchronous Lint Engine plugin for Vim

	Commit message (Expand)	Author	Age	Files	Lines
*	Add support for the Lean 4 LSP, served by lake. (#4952)	Benjamin Block	2025-04-26	1	-0/+29