Source Files

OSF Preprints (OSF Preprints) 2026 Preprint Open access

Read full text
Authors: Lutz Seidel
Cited by: 0

Abstract

This component provides the full source package for the mathematical proof framework, including the complete LaTeX project, PRISM-based analysis scripts, data templates, and reproducible workflows for T1–T4. All computations, figures, and benchmarks can be regenerated from these files.

Fields of Study & Subjects

Formal Methods in Verification Logic programming and type systems Mathematical and Computational Methods

Publication details

Journal / source
OSF Preprints (OSF Preprints)
Publication date
10 March 2026
Language
EN
Document type
Preprint