Software packages: reading and source links

Read side by side

Browse hub · Find proofs · Lean sources · Code · Collection

PDF, manuscript text, Lean sources, code, and existing evidence are linked separately. Source files may describe an older edition. The status link gives the current assessment.

Contents

• Certified Inference
• Constructive Repair
• RRCT
• Universal Generative Deformation Calculus
• Large Signal Model software

Certified Inference

Open work page: Certified Inference

Lean · Code · Work page

Back to contents · Browse all collections

Constructive Repair

Open work page: Constructive Repair

PDF · Text · Lean · Code · Work page

Back to contents · Browse all collections

RRCT

Open work page: RRCT

Code · Work page

Back to contents · Browse all collections

Universal Generative Deformation Calculus

Open work page: Universal Generative Deformation Calculus

PDF · Text · Code · Work page

Back to contents · Browse all collections

Large Signal Model software

Open work page: Large Signal Model software

PDF · Text · Code · Work page

Back to contents · Browse all collections