A very little aboue #acl2 and common lisp - reading some Kaufmann and Moore on floats. https://toobnix.org/videos/watch/1e7569b4-8cc4-4bef-8905-496905dbce60 https://www.cs.utexas.edu/~moore/publications/double-float.pdf Almost definitely build acl2 yourself: https://github.com/acl2/acl2/ Nowhere near as good as acl2's documentation and papers: https://en.wikipedia.org/wiki/ACL2 Sun, 02 Aug 2026 21:40:34 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://p.eertu.be A very little aboue #acl2 and common lisp - reading some Kaufmann and Moore on floats. https://p.eertu.be/client/assets/images/icons/icon-1500x1500.png https://toobnix.org/videos/watch/1e7569b4-8cc4-4bef-8905-496905dbce60 All rights reserved, unless otherwise specified in the terms specified at https://p.eertu.be/about and potential licenses granted by each content's rightholder.