docs(prover): allow 6->2 step-marker transition on the continuation path - #883
Open
MauroToscano wants to merge 1 commit into
Open
docs(prover): allow 6->2 step-marker transition on the continuation path#883MauroToscano wants to merge 1 commit into
MauroToscano wants to merge 1 commit into
