CodeQL Security Analysis

fix(lean4): remove dead `contradiction` — greens the Lean 4 CI #324

Sign in to view logs

Triggered via pull request July 1, 2026 14:12

opened #155

claude/valence-shell-151-root-a2a1kv

Status Success

Total duration 48s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze