cubical:Cubical Agda 标准库，支持同伦类型理论与高归纳类型
Star
0
Fork
0
Code
Introduction
Code
Issues
Pull Requests
Pipeline
Actions
Discussion
Wiki
Members
5
Analysis
Settings
Star
0
Fork
0
An experimental library for Cubical Agda
master
Branch
46
Tags
9
IDE
ZIP
Clone
README
Introduction
An experimental library for Cubical Agda
Others
Agda
2.29 K
Commits
agda
cubical-type-theory
library
Customize your domain
README
Report repository
29
563
169
Visit GitHub
Report repository