GitHub repository: leanprover-community/lt2021
Primary language: JavaScript
Created: 2020-11-02T21:22:07Z
Description: Website for Lean Together 2021