Boston Lisp Users - Latest Comments in Peter Dillinger on ACL2s; Hans Hübner on BKNR

Boston Lisp Users - Latest Comments in Peter Dillinger on ACL2s; Hans Hübner on BKNRhttp://boston-lisp.disqus.com/enMon, 22 Jun 2026 12:39:38 -0000