Symbolist: Engine for symbolic mathematics in Lisp-style S-exps in OCamlgithub.com/ruijiefang3 pointstosh6 years ago