Adelfa: a system for reasoning about LF specifications

DOI10.4204/EPTCS.337.8MaRDI QIDQ6940473zbMATH OpenFDO

Authors Mary Southern, Gopalan Nadathur

Publication date 19 August 2025

Copyright license Creative Commons license

Mathematics Subject Classification ID

Logic in computer science (03B70) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Adelfa: a system for reasoning about LF specifications

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