Hacker News new | past | comments | ask | show | jobs | submit
Try Common Lisp and Coalton. Also, Common Lisp and that one math proof solver.