github.com/freepeak/leankg
LeanKG: Stop Burning Tokens. Start Coding Lean.
View on Github
Activity
- Latest release
- 1w ago
- Total releases
- 25
- Cadence
- ~daily
- Last 12 months
- 25
Reach
- Stars
- 222
Details
- First release
- Aug 06, 2026
| Version | Released | |
|---|---|---|
v0.35.3
patch
|
v0.35.3
patch
Dependencies (9)
+ 1 more |
|
v0.35.2
patch
|
v0.35.2
patch
Dependencies (9)
+ 1 more |
|
v0.35.1
patch
|
v0.35.1
patch
Dependencies (9)
+ 1 more |
|
v0.35.0
minor
|
v0.35.0
minor
Dependencies (9)
+ 1 more |
|
v0.34.0
minor
|
v0.34.0
minor
Dependencies (9)
+ 1 more |
|
v0.33.0
minor
|
v0.33.0
minor
Dependencies (9)
+ 1 more |
|
v0.32.1
patch
|
v0.32.1
patch
|
|
v0.32.0
minor
|
v0.32.0
minor
|
|
v0.31.3
patch
|
v0.31.3
patch
|
|
v0.31.2
patch
|
v0.31.2
patch
|
|
v0.31.1
patch
|
v0.31.1
patch
|
|
v0.31.0
minor
|
v0.31.0
minor
|
|
v0.30.0
minor
|
v0.30.0
minor
|
|
v0.29.0
minor
|
v0.29.0
minor
|
|
v0.28.1
patch
|
v0.28.1
patch
|
|
v0.28.0
minor
|
v0.28.0
minor
|
|
v0.27.0
minor
|
v0.27.0
minor
|
|
v0.26.1
patch
|
v0.26.1
patch
|
|
v0.26.0
minor
|
v0.26.0
minor
|
|
v0.25.0
minor
|
v0.25.0
minor
|
|
v0.24.0
minor
|
v0.24.0
minor
|
|
v0.23.0
minor
|
v0.23.0
minor
|
|
v0.20.6
patch
|
v0.20.6
patch
|
|
v0.20.5
patch
|
v0.20.5
patch
|
|
v0.20.4
initial
|
v0.20.4
initial
|