fix(verus): correct vstd lemma paths + matches!→is + lemma_div_multiples_vanish#212

Merged

avrabe merged 8 commits intomainfrom

fix/verus-vstd-paths-and-matches

Apr 26, 2026

Commits on Apr 25, 2026

fix(verus): correct vstd lemma paths + matches!→is + lemma_div_multiples_vanish

avrabe
and
claude
committed
fix(verus): cast nat args to int in lemma_div_is_ordered call
avrabe
committed

Commits on Apr 26, 2026