Rupert Counterexample
Rupert Counterexample
Table of Contents
1.
Introduction
2.
The Noperthedron
3.
Bounding Rotations
4.
Preliminaries
5.
The Global Theorem
6.
The Local Theorem
7.
Rational Versions
8.
Computational Step
9.
Main Theorems
Dependency Graph
Blueprint Summary
Blueprint Bibliography
1. Introduction
→
Noperthedron
🔗
Compiled
2026-08-09T18:34:44Z
Project
dc8ca41
Merge pull request #8 from ejgallego/agent/refresh-v432-maintenance
Lean
leanprover/lean4:v4.32.0
VersoBlueprint
7764b37
Upstream
2fff8dd
Unify solution table validity representation
Mathlib
81a5d257c8e410db227a6665ed08f64fea08e997@81a5d257c8e4
David Renshaw
Jason Reed
Contents
1.
Introduction
2.
The Noperthedron
3.
Bounding Rotations
4.
Preliminaries
5.
The Global Theorem
6.
The Local Theorem
7.
Rational Versions
8.
Computational Step
9.
Main Theorems
Dependency Graph
Blueprint Summary
Blueprint Bibliography
1. Introduction
→