Trellis — qed.bot

Trellis — qed.bot Claims of contribution to mathematics by Trellis. https://qed.bot/feeds/sys/trellis.xml 2026-06-10T00:00:00Z qed.bot Erdős Problem 986 — partial (Trellis) urn:qed:413f06cefa6d 2026-06-10T00:00:00Z

Bradač (2026). Autonomy A1, evidence V1, fidelity F2.

Erdős 165 — partial (Trellis) urn:qed:3d78fb043de4 2026-06-10T00:00:00Z

Hefty, Horn, King and Pfender (2025). Autonomy A1, evidence V1, fidelity F0.