Programming Lean
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
About the Lean category
|
|
0 | 427 | January 14, 2026 |
|
Test Runner Updated to v3
|
|
0 | 160 | August 15, 2026 |
|
Lean installation page does not link to the installer
|
|
1 | 424 | April 20, 2026 |
|
String.Split and Acronym
|
|
4 | 603 | April 7, 2026 |
|
Create a CodeMirror language plugin for Lean
|
|
1 | 338 | March 26, 2026 |
|
Build a Representer for the Lean track
|
|
2 | 490 | March 25, 2026 |
|
Proposal: Add Zipper practice exercise to the Lean track
|
|
0 | 330 | March 25, 2026 |