GitHub repository: minchaowu/mathematica
Primary language: Lean
Description: Lean-independent implementation of the MM-Lean link