cubical:Cubical Agda 标准库，支持同伦类型理论与高归纳类型

Star0
0
代码
代码
Issues
Pull Requests
项目讨论
Wiki
分析
Star0
0

An experimental library for Cubical Agda

分支46Tags9

项目介绍

An experimental library for Cubical Agda

Others Agda2.29 K提交数agdacubical-type-theorylibrary
定制我的领域
README
29565169访问 GitHub