GitHub repository: uwplse/leanup
Primary language: Python
Created: 2017-09-19T18:51:48Z
Description: A Lean nightly installer for CSE 505.