4 ms·
ACL2 gets mentioned in passing, but it may be worth noting that version 8.5 was released this year, with several new features and bug fixes: https://www.cs.utex
by tmtvl 4y ago
ACL2 gets mentioned in passing, but it may be worth noting that version 8.5 was released this year, with several new features and bug fixes: https://www.cs.utexas.edu/users/moore/acl2/v8-5/combined-manual/index.html?topic=ACL2____NOTE-8-5 https://www.cs.utexas.edu/users/moore/acl2/v8-5/combined-man...
- medo-bear 4y agoMaxima should also deserve a mention I think
- vindarel 4y agoexcellent point, thanks. It's added. I mostly prepared the post with the reddit history, that means someone missed the opportunity to inform the broader Lisp community there. For Maxima, what could be added?
- tmtvl 4y agoMaxima 5.46 came out (https://sourceforge.net/p/maxima/code/ci/master/tree/changelogs/ChangeLog-5.46.md https://sourceforge.net/p/maxima/code/ci/master/tree/changel...) in April. It also had a number of bugfixes and some new features, personally I am fond of getting rid of the python dependency for building the documentation, but I suppose preventing gensyms from leaking and fixing limit going into an infinite loop may be considered more important by some.
- vindarel 4y agoThanks, added.