Topic: tab completion?
Jason Gross (Mar 22 2021 at 18:33):
Is there an editor with tab completion for Lean? (Is there a way to get tab completion in lean4-mode for emacs?) Especially, can there be tab-completion for
Bryan Gin-ge Chen (Mar 22 2021 at 18:41):
I believe this has not been implemented yet.
Last updated: May 07 2021 at 12:15 UTC