GitHub / ncfavier / cubical-experiments
Experiments with Cubical Agda
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ncfavier%2Fcubical-experiments
PURL: pkg:github/ncfavier/cubical-experiments
Stars: 11
Forks: 1
Open issues: 0
License: gpl-3.0
Language: Agda
Size: 193 KB
Dependencies parsed at: Pending
Created at: over 3 years ago
Updated at: about 2 months ago
Pushed at: about 2 months ago
Last synced at: about 2 months ago
Commit Stats
Commits: 55
Authors: 1
Mean commits per author: 55.0
Development Distribution Score: 0.0
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/ncfavier/cubical-experiments
Topics: agda, cubical-type-theory, homotopy-type-theory