4 ms·
A step in the right direction. I'm still waiting for a TLA+-like language where you can build proofs for high level custom properties like "Robust to some parts
by BenoitP 9y ago
A step in the right direction. I'm still waiting for a TLA+-like language where you can build proofs for high level custom properties like "Robust to some parts of the contract being indefinitely delayed".