Show HN: Chelis, a tensor language agents can write and prove

(github.com) by jeffreysmith | Oct 7, 2026 | 0 comments on HN