5 ms·Using OCaml to prove fairness and safety of trading algorithms [pdf]4 points by antouank 11y ago