search

leanprover / lean3-mode

Emacs mode for Lean
Apache License 2.0
69 stars 17 forks source link

Lean the mode #44

Closed sirikid closed 1 year ago

sirikid commented 1 year ago

S'ry, wrong repo