What’s New in the ACL2 System

Versions 8.2 and 8.3

Matt Kaufmann and J Moore

May, 2020


Below are links to summary slides, Version 8.2 and 8.3 release notes with colors used for annotating what was discussed in the talk, and the demo source and log files.