讲座 & 工作坊 | Technology-for-math for outreach and broader impact: Lean and proof-assistant for research and experimentation