Salt – An experimental tool to convert a subset of Clojure into TLA+ (github.com) 5 points by macmac 6y ago ↗ HN
0 comments
[ 0.20 ms ] story [ 11.7 ms ] threadNo comments yet.