Rare find

lean.nvim. Neovim support for the Lean theorem prover

github.com/Julian/lean.nvim
by @Julian

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.