Resolve moving-sofa generic counterexample elaboration

e86cc62

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-constant-gap.yml on: push 1

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

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

Pull Request Labeler on: pull_request_target

labeler

Restricted-run tableaux clean audit on: pull_request_target

lean

A343881 PR audit on: pull_request_target

lean

Geode5 moment algebra audit on: pull_request_target

lean

Final Litt current-main proof audit on: pull_request_target

audit

A226247 PR audit on: pull_request_target

lean

Restricted-run tableaux GDM-ready audit on: pull_request_target

lean

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

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

Build Lean project and deploy docs on: pull_request

Build project

deploy

Chomp native proof audit on: pull_request

lean

WorldCup7 targeted Lean audit on: pull_request

Compile WorldCup7.lean

Geode5 arithmetic bridge audit on: pull_request

arithmetic-layers

OpenAI moving-sofa literal counterexample audit on: pull_request 1

audit

Check Copyright Header on: pull_request

check-copyright

Full quantum color-restriction proof audit on: pull_request 1

audit

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

Geode5 proof targeted audit on: pull_request

proof-layers

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

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

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

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

OpenAI moving-sofa literal counterexample audit on: push 1

audit

Select a check to view from the sidebar