登入
登入
切换到注册
发表新帖子
至少 10 个字
涉及的对象:
预览:
汉语
英语
日语
俄语
提交
净土
提问
提问
登入
注册
通知
语言
汉语
英语
俄语
日语
CuTT
Cubical Type Theory 还有什么可以进一步发展的地方?
ice1000
比如,我记得目前涉及Dimension的tyck是非常昂贵的,而且这个性能问题似乎还没有很好的解决方案。
预览:
提交
取消