#Leanprover

Showing 1 of 1 repositories tagged #leanprover, ranked by stars

Julian

lean.nvim

Neovim support for the Lean theorem prover

Score

0

★ 551 ⑂ 56 +4/day

Lua