3 ms·
Tangential, is there studies on rewriting legal laws in some language with formal verification? I see how it can be used to assert correctness and consistence.
by ivanjermakov 2y ago
Tangential, is there studies on rewriting legal laws in some language with formal verification? I see how it can be used to assert correctness and consistence.