Suggestions & updates#3

Merged

srunquist-certora merged 8 commits intomainfrom

shane/suggestions

Nov 5, 2025

Commits on Oct 9, 2025

Commits on Oct 23, 2025

Apply suggestions from code review

srunquist-certora
and
urikirsh
authored

Commits on Oct 24, 2025

Added links to docs sections about vacuity and tautologies
srunquist-certora
authored