Skip to content

Add implication arrows after verification predicates - #152

Merged
CatarinaGamboa merged 3 commits into
mainfrom
codex/verification-implies
Oct 20, 2026
Merged

Add implication arrows after verification predicates#152
CatarinaGamboa merged 3 commits into
mainfrom
codex/verification-implies

Enlarge verification implication arrows

95cb1b9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar