issues
search
Julian
/
lean.nvim
neovim support for the Lean theorem prover
MIT License
248
stars
25
forks
source link
fix typo in calc snippet
#303
Closed
gihanmarasingha
closed
11 months ago
gihanmarasingha
commented
11 months ago
missing
=
in
:= by sorry
Julian
commented
11 months ago
Thanks!
missing
=
in:= by sorry