Jos De Roo

The Library and the Path — Librath

The Library and the Path — Librath is using Prompt → Program → Proof — P3.

Examples and Test Cases

• A₂ (Ackermann via hyper-operations)
• AuroraCare
• BMI
• Collatz (3n+1)
• Control System
• Complex identities — explanatory proofs
• Easter (Computus)
• Fibonacci via Fast Doubling
• GPS Clinical Bench
• Group Theory
• Graph — French cities
• Grass seed — molecular germination
• Infite Game of Insight Economy
• Lee
• Library & Path
• LLDM
• Mathematics — the WHAT & the WHY
• n-Queens
• Polynomial roots (Durand–Kerner)
• Sudoku