nForum - Search Results Feed (Tag: coq)2024-03-28T18:14:02+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Coq and Topos/Tripos Formalizations, and the Pitts contructionhttps://nforum.ncatlab.org/discussion/13622/2021-10-25T07:50:58+00:002021-10-25T07:50:58+00:00AdhamJhttps://nforum.ncatlab.org/account/3086/
Greetings all,I am researching Topos theory and realizability, I was wondering if anyone saw or has a reference to a Topos/Tripos formalization in coq. What I am looking for specifically is the ...
Greetings all,
I am researching Topos theory and realizability, I was wondering if anyone saw or has a reference to a Topos/Tripos formalization in coq. What I am looking for specifically is the tripos to topos construction in Coq.
]]>