We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Some initial Switch definitions for the Lean theorem prover are shipped inside the lean.nvim neovim plugin.
Eventually if they stabilize / become more fleshed out, a PR may submit them here upstream.