×

找到2个软件包(结果1-2)

立体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)

筛选结果依据…