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

3 points | by jeffreysmith 3 days ago