These proofs are still relying on stale verification signal and should be re-run or explicitly reviewed.
Gogopex/pfr
healthy90%
fully proved214 / 238 blueprint nodes (statement + dependencies)
- Applications of Jensen's inequality3/3
- Shannon entropy inequalities30/30
- Entropic Ruzsa calculus26/26
- The 100% version of PFR6/6
- The Fibring lemma3/3
- Entropy version of PFR24/24
- Proof of PFR4/4
- Improving the exponents11/11
- Homomorphism version of PFR3/3
- Approximate homomorphism version of PFR8/8
- Weak PFR over the integers10/10
- The m-torsion case45/49
- Further improvement to exponent41/41
- Other0/20
| Run | Status | Branch | Queued |
|---|---|---|---|
| #10 | succeeded | master | |
| #9 | succeeded | master | |
| #8 | failed | master | |
| #7 | failed | master | |
| #6 | failed | master |