Introduction to Minlog

DOI10.1142/9789813270947_0008zbMATH Open1544.68164MaRDI QIDQ6600652FDOQ6600652

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)