Owner · Julian

Julian

Julian's tracked open-source repos, sorted by stars.

1 repos

#1
lean.nvim ↗@JulianLua
Neovim support for the Lean theorem prover
★ 570+1Star change over the last 7 days