SOL/docs/core-design-and-pipeline.org, branch masteralgebraic identities of plus and times discharge symbolically2026-07-12T20:56:10+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T12:59:59+00:00e92c8e00290bab8db328058c437b471c0f1671a4
symbolic discharge: universals over infinite domains decided by intervals2026-07-12T03:35:33+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T03:35:33+00:007aacf596d73cc74eb9af381a72723b50b4069e30
mutual recursion admitted under lexicographic measures2026-07-12T02:39:40+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T02:39:40+00:00726f3dfb116ec9265041e642000612831633fe3c
core design and pipeline document2026-07-12T00:55:18+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T00:55:18+00:00e4c9579b02951e9edd84c4dae4bf10cfdc5953dc