Repository navigation

Add implication arrows after verification predicates - #152

Open

rcosta358 wants to merge 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