ΛProof: A Technical Whitepaper on Prime-Lawful, Verifiable Systems

Read full text
Authors: Ryan Van Gelder
Cited by: 0

Fields of Study & Subjects

Logic programming and type systems semigroups and automata theory Numerical Methods and Algorithms

Publication details

Publication date
1 January 2026