The Clock That Never Ticks: a machine-checked path from the dilogarithm to quantum speed limits in Lean 4

Marín Muñoz, Carles

DOI: 10.5281/zenodo.23671607

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.