ΛProof Intent Schema Specification

2026 Open access

Read full text
Authors: Ryan Van Gelder
DOI: 10.13140/rg.2.2.29027.82727
Cited by: 0

Fields of Study & Subjects

Logic programming and type systems Formal Methods in Verification Constraint Satisfaction and Optimization

Publication details

Publication date
1 January 2026
Language
EN