Skip to content

List Found as facts and show only readable simplification steps - #185

Merged
CatarinaGamboa merged 4 commits into
mainfrom
study-found-box
Nov 11, 2026
Merged

List Found as facts and show only readable simplification steps#185
CatarinaGamboa merged 4 commits into
mainfrom
study-found-box

Found: show every step the verifier sends

af43c9c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar