OmegaProof: From Proving Theorems to Proving Systems

2026 Open access

Read full text
Authors: Richard Goodman, Stephanie Goodman, Apoth3osis R&d
DOI: 10.13140/rg.2.2.34901.08164
Cited by: 0

Fields of Study & Subjects

Logic programming and type systems Formal Methods in Verification Reasoning and Knowledge

Publication details

Publication date
1 January 2026
Language
EN