Axiom Math says its AxiomProver system has produced a machine-checked Lean 4 proof of the strongest known result on gaps ...
The website​ HaveIBeenFlocked has compiled a database of 4.6 million license plate records that have appeared in roughly 242 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results