Skip to content

[harvest — do not merge] nal W4 (D-NALP-4): exact truth-law oracle and measurement, kept as a reminder - #1544

Open
AdaWorldAPI wants to merge 3 commits into
mainfrom
ccr-9f3b8075-74u47l-nal-w4
Open

[harvest — do not merge] nal W4 (D-NALP-4): exact truth-law oracle and measurement, kept as a reminder#1544
AdaWorldAPI wants to merge 3 commits into
mainfrom
ccr-9f3b8075-74u47l-nal-w4

nal W4: a tie that rejects ties-to-even

d18a664
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar