Lean-mode Alternatives

Similar projects and alternatives to lean-mode

corfu

44 1,029 8.9 Emacs Lisp lean-mode VS corfu

:desert_island: corfu.el - COmpletion in Region FUnction
cape

17 545 8.8 Emacs Lisp lean-mode VS cape

🦸cape.el - Completion At Point Extensions (by minad)
InfluxDB

www.influxdata.com featured

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
prettify-utils.el

3 31 0.0 Emacs Lisp lean-mode VS prettify-utils.el

Helper functions for emacs' prettify-symbols-mode
lean4-mode

2 54 6.1 Emacs Lisp lean-mode VS lean4-mode

Emacs major mode for Lean 4
julia-emacs

3 279 5.6 Emacs Lisp lean-mode VS julia-emacs

Julia support in Emacs.
company-math

3 122 10.0 Emacs Lisp lean-mode VS company-math

Completion back-ends for for math unicode symbols and latex tags
math-symbol-lists

2 33 10.0 Emacs Lisp lean-mode VS math-symbol-lists

Lists of Unicode mathematical symbols and latex commands
SaaSHub

www.saashub.com featured

SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better lean-mode alternative or higher similarity.

Suggest an alternative to lean-mode

lean-mode reviews and mentions

Posts with mentions or reviews of lean-mode. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-03-14.

lean-mode: Emacs mode for Lean 3 theorem prover
1 project | /r/planetemacs | 4 Apr 2023
Replacing strings with Unicode symbols.
9 projects | /r/emacs | 14 Mar 2023

You might also be interested in how Emacs lean-mode for the Lean proof assistant adds such an input method (also using quail).