scientific article; zbMATH DE number 7699423
From MaRDI portal
Publication:6157247
DOI10.4230/LIPICS.ITP.2021.6MaRDI QIDQ6157247
Author name not available (Why is that?)
Publication date: 20 June 2023
Title of this publication is not available (Why is that?)
Related Items (6)
Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof ⋮ The propositional formula checker HeerHugo ⋮ Formal verification for non-formalists ⋮ A Machine Checked Soundness Proof for an Intermediate Verification Language ⋮ Using First-Order Theorem Provers in the Jahob Data Structure Verification System ⋮ Theorem Proving in Higher Order Logics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6157247)
