1 comment

[ 7.4 ms ] story [ 18.6 ms ] thread
With specifications in First Order Logic (TLA+ syntax)