lean-mode
Emacs mode for Lean (by leanprover)
prettify-utils.el
Helper functions for emacs' prettify-symbols-mode (by Ilazki)
| lean-mode | prettify-utils.el | |
|---|---|---|
| 2 | 3 | |
| 68 | 31 | |
| - | - | |
| 1.7 | 0.0 | |
| 11 months ago | almost 5 years ago | |
| Emacs Lisp | Emacs Lisp | |
| Apache License 2.0 | - |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
lean-mode
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
-
Replacing strings with Unicode symbols.
You might also be interested in how Emacs lean-mode for the Lean proof assistant adds such an input method (also using quail).
prettify-utils.el
Posts with mentions or reviews of prettify-utils.el.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-03-14.
-
Replacing strings with Unicode symbols.
PS. I am not sure how standard the prettify package is within the Emacs community. But here is a link to the code I am using: https://github.com/Ilazki/prettify-utils.el/blob/master/prettify-utils.el
-
Share your prettify-symbols-alist!
Rather than build the alist manually, though, I'm using helper macros I made (found here: prettify-utils.el) that takes string pairs and builds the replacements. Makes it easier to do replacements that use multiple characters, like if you wanted to do "→ " to avoid confusing emacs' indentation.
-
Lists inside inline footnotes not working?
There's also a package called prettify-utils (https://github.com/Ilazki/prettify-utils.el), which you can use to prettify symbols more easily than my font-lock keywords above.
What are some alternatives?
When comparing lean-mode and prettify-utils.el you can also consider the following projects:
lean4-mode - Emacs major mode for Lean 4
cape - 🦸cape.el - Completion At Point Extensions
corfu - :desert_island: corfu.el - COmpletion in Region FUnction
ligature.el - Display typographical ligatures in Emacs
math-symbol-lists - Lists of Unicode mathematical symbols and latex commands
julia-emacs - Julia support in Emacs.
company-math - Completion back-ends for for math unicode symbols and latex tags