lean-tui
Standalone TUI infoview for Lean 4 theorem prover
- Latest release
- Feb 21, 2026
- Releases
- 43
- Known CVEs
- 0
- First release
- Jan 26, 2026
- License
- MIT
Insights
Activity
- Total releases
- 43
- Last 12 months
- 43
- Cadence
- ~daily
- Dependencies
- 16
Releases per month
last 12 monthsRelease mix
- major 1
- minor 6
- patch 35
43
releases
Dependencies
Depends on
1.0.1-
clap
^4
-
crossterm
^0.29
-
dirs
^6
-
futures
^0.3
-
petgraph
^0.7
-
prettyplease
^0.2
build
-
ratatui
^0.29
-
serde
^1
-
serde_json
^1
build
-
serde_json
^1
1–10 of 16
Used by
Nothing tracked depends on this yet.
Releases
| Version | Released | |
|---|---|---|
1.0.1
patch
|
1.0.1
patch
Dependencies (16)
+ 8 more |
|
1.0.0
major
|
1.0.0
major
|
|
0.6.14
patch
|
0.6.14
patch
|
|
0.6.13
patch
|
0.6.13
patch
|
|
0.6.12
patch
|
0.6.12
patch
|
|
0.6.11
patch
|
0.6.11
patch
|
|
0.6.10
patch
|
0.6.10
patch
|
|
0.6.9
patch
|
0.6.9
patch
|
|
0.6.8
patch
|
0.6.8
patch
|
|
0.6.7
patch
|
0.6.7
patch
|
|
0.6.6
patch
|
0.6.6
patch
|
|
0.6.5
patch
|
0.6.5
patch
|
|
0.6.4
patch
|
0.6.4
patch
|
|
0.6.3
patch
|
0.6.3
patch
|
|
0.6.2
patch
|
0.6.2
patch
|
|
0.6.1
patch
|
0.6.1
patch
|
|
0.6.0
minor
|
0.6.0
minor
|
|
0.5.3
patch
|
0.5.3
patch
|
|
0.5.2
patch
|
0.5.2
patch
|
|
0.5.1
patch
|
0.5.1
patch
|
1–20 of 43