Skip to content

H2-F: the framed transfer does not use the H2-sem no-target-feedback clause (F4 admissible; no new kappa) - #2721

Draft
geckods wants to merge 1 commit into
CrocSwap:mainfrom
geckods:contrib-h2sem-cond2-framed-transfer
Draft

H2-F: the framed transfer does not use the H2-sem no-target-feedback clause (F4 admissible; no new kappa)#2721
geckods wants to merge 1 commit into
CrocSwap:mainfrom
geckods:contrib-h2sem-cond2-framed-transfer

Add H2-F framed-transfer admission for the R439 target-feeding wrap

6b14e21
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs