Re-proving native_decide facts in Lean's kernel: a study of 16 public packages and a converter

Tomar, Tejasvi Singh

DOI: 10.5281/zenodo.23818391

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