Repository navigation

CodeQL Security Analysis

proof(lean4): mechanize Sandbox Isolation (Theorem 1) #126

Sign in to view logs

Triggered via pull request June 14, 2026 11:05

opened #41

claude/gifted-fermat-EmVcv

Status Success

Total duration 56s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze