Agda code supporting "Quotients, Inductive Types and Quotient Inductive Types" (v2)
收藏DataCite Commons2024-12-17 更新2024-08-25 收录
下载链接：
https://www.repository.cam.ac.uk/handle/1810/335510
下载链接
链接失效反馈官方服务：
资源简介：
Formal proofs for the results in the paper "Quotients, Inductive Types and Quotient Inductive Types" constructed with the Agda theorem proving system. Version 2 of the dataset updates some links to agree with the published version of the accompanying journal paper and uses Agda version 2.6.2.1 to check the code.
提供机构：
Apollo - University of Cambridge Repository
创建时间：
2022-03-30
