Introduction to Minlog

DOI10.1142/9789813270947_0008MaRDI QIDQ6600652zbMATH OpenFDO

Authors Franziskus Wiesnet

Publication date 9 September 2024

zbMATH Keywords

proof assistantcomputable functionalsMinlog

Mathematics Subject Classification ID

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

This page was built for publication: Introduction to Minlog

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