logical_verification_2023
Hitchhiker's Guide to Logical Verification (2023 Edition) (by blanchette)
lean4-mode
Emacs major mode for Lean 4 (by leanprover-community)
| logical_verification_2023 | lean4-mode | |
|---|---|---|
| 1 | 2 | |
| 58 | 54 | |
| - | - | |
| 6.4 | 6.1 | |
| 6 months ago | 12 days ago | |
| Lean | 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.
logical_verification_2023
Posts with mentions or reviews of logical_verification_2023.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-09-07.
-
Lean 4.0.0, first official lean4 release
Me too, I want to follow
https://github.com/blanchette/logical_verification_2023
The hitchhiker's guide
lean4-mode
Posts with mentions or reviews of lean4-mode.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-09-07.
- Lean 4.0.0, first official lean4 release
-
Replacing strings with Unicode symbols.
There is also an input method for lean4-mode. It is based on a table for VSCode extension, so I think it offers a decent set of symbols.
What are some alternatives?
When comparing logical_verification_2023 and lean4-mode you can also consider the following projects:
mathlib4 - The math library of Lean 4
lean4-metaprogramming-book
learnxinyminutes-docs - Code documentation written as code! How novel and totally my idea!
cape - 🦸cape.el - Completion At Point Extensions
lean4 - Lean 4 programming language and theorem prover
lean-mode - Emacs mode for Lean
topos - Topos theory in lean
lean4-raytracer - A simple raytracer written in Lean 4
mathlib - Lean 3's obsolete mathematical components library: please use mathlib4
prettify-utils.el - Helper functions for emacs' prettify-symbols-mode
logical_verification_2023 vs mathlib4
lean4-mode vs lean4-metaprogramming-book
logical_verification_2023 vs learnxinyminutes-docs
lean4-mode vs cape
logical_verification_2023 vs lean4
lean4-mode vs lean-mode
logical_verification_2023 vs topos
lean4-mode vs lean4-raytracer
lean4-mode vs mathlib
lean4-mode vs mathlib4
lean4-mode vs prettify-utils.el