GitHub repository: ENvironmentSet/welltyped
Primary language: TypeScript
Created: 2020-05-07T15:45:03Z
Description: Collection of Dependently-typed stuff