Skip to content

fix(gates): four gates that could not be answered truthfully (19, 47, 62, and the vacuous-scope epilogue) - #176

Merged
rubenvdlinde merged 1 commit into
mainfrom
fix/gate-19-47-62-and-vacuous-scope-report
Aug 6, 2026
Merged

fix(gates): four gates that could not be answered truthfully (19, 47, 62, and the vacuous-scope epilogue)#176
rubenvdlinde merged 1 commit into
mainfrom
fix/gate-19-47-62-and-vacuous-scope-report

fix(gates): four gates that could not be answered truthfully

289c0df
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar