A Core-Only Lean 4 Formalization of a Position-Invariant Account of Stakes, Readings, and Partiality

McIntire, John

DOI: 10.5281/zenodo.23750663

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