Proof by exhaustion: one plus one is two, in 616,873 lines of Lean

Gaur, Pragyaan

DOI: 10.5281/zenodo.23805053

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