GitHub repository: wq0072/Lean-obsolete
Primary language: Shell
Description: Obsoleted App of Lean