Deeper shallow embeddings

DOI10.4230/LIPICS.ITP.2022.28MaRDI QIDQ6572568zbMATH OpenFDO

Authors Jacob Prinz, G. A. Kavvos, Leonidas Lampropoulos

Publication date 15 July 2024

Full work available at URL https://doi.org/10.4230/LIPICS.ITP.2022.28

zbMATH Keywords

Agdadeep embeddingshallow embeddingtype theory

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited in

(1)

• Faithful logic embeddings in HOL -- deep and shallow

This page was built for publication: Deeper shallow embeddings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6572568)