ΛProof: A Technical Whitepaper on Prime-Lawful, Verifiable Systems
Fields of Study & Subjects
Logic
programming
and type systems
semigroups and automata theory
Numerical Methods and Algorithms
Publication details
- Publication date
- 1 January 2026