Triel – a declarative spec language with ZK constraints

(triel.dev) by DChis | Jul 28, 2026 | 0 comments on HN