GitHub repository: yuma-mizuno/lean-math-workshop
Primary language: Lean
Description: 数学系のためのLean勉強会