Documentation/more model verification#1207

jlarson4 merged 4 commits intodev-3.x-canaryTransformerLensOrg/TransformerLens:dev-3.x-canaryfrom

documentation/more-model-verificationTransformerLensOrg/TransformerLens:documentation/more-model-verificationCopy head branch name to clipboard