chore: add exact declaration scanner

06e90dc

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

.github/workflows/one-shot-litt-overlap-bridge.yml on: push 1

.github/workflows/w320-pr-audit.yml on: push 1

.github/workflows/one-shot-repair-wowii59.yml on: push 1

Final Litt current-main proof audit on: pull_request_target

audit

Pull Request Labeler on: pull_request_target

labeler

.github/workflows/one-shot-wow59-linear-branch.yml on: push 1

A343881 PR audit on: pull_request_target

lean

Restricted-run tableaux clean audit on: pull_request_target

lean

Geode5 moment algebra audit on: pull_request_target

lean

Restricted-run tableaux GDM-ready audit on: pull_request_target

lean

A226247 PR audit on: pull_request_target

lean

.github/workflows/one-shot-litt-final-three.yml on: push 1

.github/workflows/a261865-foundation-autofix-main.yml on: push 1

OpenAI proof candidate inventory on: pull_request 1

scan

.github/workflows/one-shot-repair-litt.yml on: push 1

Check Copyright Header on: pull_request

check-copyright

Geode5 proof targeted audit on: pull_request

proof-layers

WorldCup7 targeted Lean audit on: pull_request

Compile WorldCup7.lean

Full quantum color-restriction proof audit on: pull_request 1

audit

Build Lean project and deploy docs on: pull_request

Build project

deploy

OpenAI exact open-proof inventory on: pull_request 1

scan

Geode5 arithmetic bridge audit on: pull_request

arithmetic-layers

Chomp native proof audit on: pull_request

lean

.github/workflows/litt-most-unfair-check.yml on: push 1

.github/workflows/one-shot-litt-constant-gap.yml on: push 1

.github/workflows/a261865-repair-pass2.yml on: push 1

Select a check to view from the sidebar