Comment by anthk 10 hours ago Try Common Lisp and Coalton. Also, Common Lisp and that one math proof solver. 0 comments anthk Reply No comments yet Contribute on Hacker News ↗
No comments yet
Contribute on Hacker News ↗