GitHub repository: samuela/leanup
Primary language: Python
Description: A Lean nightly installer for CSE 505.