GitHub repository: minchaowu/mm-lean
Primary language: Mathematica
Description: One direction of the MM-Lean link