Sebastian Ullrich - The Lean module system (Lean Together 2026) leanprover community 8 months ago Play Download
🟥 EMBARK PARTNER 🟥 SUB GAMES #4 ON 11/1 🟥 !meetandgreet @ TWITCHCON WOO 🟥 lyr1c Play Download
Johan Commelin - The Mathlib Initiative (Lean Together 2026) leanprover community 8 months ago Play Download
Oliver Dressler - lean-lsp-mcp: Tools for agentic interaction with Lean (Lean Together 2026) leanprover community 8 months ago Play Download
Floris van Doorn - Lessons from the Carleson project (Lean Together 2026) leanprover community 8 months ago Play Download
Reading made easy: ie Lie Tie ie #vocabulary #learnontiktok #studyenglishwithme #englishlearning teachertony21 2 days ago Play Download
learning a language doesn't have to be hard! you just need the right tools 😉 #languagelearning #lea LingoLooper 10 months ago Play Download