Categories of propositions and sieves#1163

anuyts wants to merge 2 commits into

agda:masteragda/cubical:masterfrom

anuyts:propsanuyts/cubical:propsCopy head branch name to clipboard