Triel – a declarative spec language with ZK constraints

2 points | by DChis 4 hours ago