立体agda 17篇文献引用(2020–2023) 软件作者: 安德烈亚·维佐西(Andrea Vezzosi);莫特伯格,安德斯;安德烈亚斯·亚贝尔 相关软件: 立方体;github;Coq… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
注入类型 1份文件引用(2021) 软件作者: Hötzel Escardó,马汀 相关软件: github;阿格达;Coq公司 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)