Login

Gogopex/pfr

healthy
master public updated latest build succeeded
1905 checked 0 blocked 0 open last run

Next action Review failed run #8 A recent verifier run failed. Check the command log and run details before queueing more work on top of it.
90%
fully proved 214 / 238 blueprint nodes (statement + dependencies)
Theorems
1,905
Changes
review
  • Applications of Jensen's inequality 3/3
  • Shannon entropy inequalities 30/30
  • Entropic Ruzsa calculus 26/26
  • The 100% version of PFR 6/6
  • The Fibring lemma 3/3
  • Entropy version of PFR 24/24
  • Proof of PFR 4/4
  • Improving the exponents 11/11
  • Homomorphism version of PFR 3/3
  • Approximate homomorphism version of PFR 8/8
  • Weak PFR over the integers 10/10
  • The m-torsion case 45/49
  • Further improvement to exponent 41/41
  • Other 0/20
211 done27 ready Dependency graph →
Recent runs All runs
Run Status Branch Queued
#10 succeeded master
#9 succeeded master
#8 failed master
#7 failed master
#6 failed master

Keyboard shortcuts