lftim. Mathematical learnings with Lean, for those of us who wish we knew more of both!