Skip to content

The reverse direction for §6.3: katie verifying proofs this implementation built - #23

Merged
OR13 merged 1 commit into
mainfrom
reverse-direction-search
Jul 29, 2026
Merged

The reverse direction for §6.3: katie verifying proofs this implementation built#23
OR13 merged 1 commit into
mainfrom
reverse-direction-search

Why: six rounds of algorithms were verified in one direction only, an…

daf0087
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar