2 ms·
Yes and no. The proofs could be auto-generated for decision table based contracts, so a decision table could be a convenient DSL for simple contracts, without
by mafribe 9y ago
Yes and no.
The proofs could be auto-generated for decision table based contracts, so a decision table could be a convenient DSL for simple contracts, without preventing more complicated contracts. The average contract writer would never need to see the full language or be exposed to proofs.