knossos

Clojure ★ 424 updated 3mo ago

Verifies the linearizability of experimentally accessible histories.

No plain-English explanation yet — one is being written right now. Check back in a minute.