Skip to content

fix typo in chapter 14 figure description of soundness#832

Open
adzcai wants to merge 1 commit into
boazbk:masterfrom
adzcai:master
Open

fix typo in chapter 14 figure description of soundness#832
adzcai wants to merge 1 commit into
boazbk:masterfrom
adzcai:master

fix typo in chapter 14 figure description of soundness

606d5f5
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs