OCaml

z3

z3

Z3 je dokázateľ vety z programu Microsoft Research.