Skip to content

feat: document well-founded reduction behaviour#684

Open
nomeata wants to merge 1 commit into
nightly-testingfrom
joachim/issue680
Open

feat: document well-founded reduction behaviour#684
nomeata wants to merge 1 commit into
nightly-testingfrom
joachim/issue680

feat: document well-founded reduction behaviour

5ffe59f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar