Your search returned 5 broadcasts in 0 seconds. (Note: search is limited to past 15,000 broadcasts)
| Streamer | Category Country |
Broadcast | Peak CLV | Status | |
|---|---|---|---|---|---|
Working Through "The Mechanics of Proof": Lean 4 Theorem Prover, MathematicsJanuary 11, 2026 5:33 am CST to January 11, 2026 5:33 am CST |
2 |
Offline | View | ||
"functional programming in lean" and stuffJanuary 29, 2026 5:33 am CST to January 29, 2026 5:33 am CST |
1 |
Offline | View | ||
Lean 4 Theorem Prover/Programming Language: Working Through "The Mechanics of Proof"January 13, 2026 3:23 pm CST to January 13, 2026 3:23 pm CST |
1 |
Offline | View | ||
Working Through "The Mechanics of Proof": Lean 4 Theorem Prover, MathematicsJanuary 12, 2026 2:33 pm CST to January 12, 2026 2:33 pm CST |
1 |
Offline | View | ||
"functional programming in lean" and stuffDecember 31, 1969 6:00 pm CST to December 31, 1969 6:00 pm CST |
0 |
Offline | View |
* Note that while we have millions of profiles indexed, we are still missing some!
