4 ms·Model Checking in Clojure5 points by victorinacio 6y agovictorinacio 6y agoModel Checking in Clojure