# loopy.verification

## Verifier

> Could not import `loopy.verification.Verifier`: No module named 'loopy'

## AssertionResult

> Could not import `loopy.verification.AssertionResult`: No module named 'loopy'
