From Lean proofs to certified derivations in the ontological embedding

Lindheim, Björn

DOI: 10.5281/zenodo.23795779

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