3 ms·

This is a model checker written in Clojure. I had to poke around to find the first article. https://recife.pfeodrippe.com/notebooks/recife/notebook/slow_start

by aeonik 2y ago

This is a model checker written in Clojure. I had to poke around to find the first article. https://recife.pfeodrippe.com/notebooks/recife/notebook/slow_start.html https://recife.pfeodrippe.com/notebooks/recife/notebook/slow...