Repository navigation

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

Commits on Oct 8, 2026
- Add implication arrows after verification binders
  
  rcosta358
  and
  codex
  committed
  bd39d9f
- Place implication arrows after verification predicates
  
  rcosta358
  and
  codex
  committed
  a6653a5
- Enlarge verification implication arrows
  
  rcosta358
  and
  codex
  committed
  95cb1b9