GitHub repository: slotdawg/nexthol-files
Primary language: Python
Description: .Next 2019 HOL - Files