GitHub repository: thomas-lamiaux/cubical
Primary language: Agda
Description: An experimental library for Cubical Agda