A scientific drawing library for Ocaml.
A little Coq development to interpret traces produced by the Alt-Ergo theorem prover for congruence closure and linear arithmetic. tgz
