Axiom Math says its AxiomProver system has produced a machine-checked Lean 4 proof of the strongest known result on gaps ...
Ever since I retired, the La Jolla/Riford public library has become my second home. My library reserve queue is always maxed out and I generally read three books a week. The front seat of my car has ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results