Skip to content

[ draft ] Refactor Dec to use constructive negation#3065

Draft
gallais wants to merge 1 commit into
agda:masterfrom
gallais:positive-dec
Draft

[ draft ] Refactor Dec to use constructive negation#3065
gallais wants to merge 1 commit into
agda:masterfrom
gallais:positive-dec

[ draft ] Refactor Dec to use constructive negation

9888e50
Select commit
Loading
Failed to load commit list.
Sign in for the full log view