1 comment

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