Skip to content

Categories of propositions and sieves#1163

Draft
anuyts wants to merge 2 commits into
agda:masterfrom
anuyts:props
Draft

Categories of propositions and sieves#1163
anuyts wants to merge 2 commits into
agda:masterfrom
anuyts:props

SieveOn.

42939d5
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs