1 comment

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