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-05-12T16:20:36Z
Project
122abfd
Update Noperthedron upstream and harness pins
Lean
leanprover/lean4:v4.30.0-rc2
VersoBlueprint
a1af8f3
Upstream
3369594
remove unused hypothesis
Mathlib
09178ce7676d92ddcfc6dafe90fdfa758e97002e@09178ce7676d
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
→