Advances in ACL2 Proof Debugging Tools
Matt Kaufmann and J Moore
November 14, 2023
Slides [without pauses]
Slides [with pauses]
Demo
of
with-brr-data
Demo
of the new near-miss feature of
:
monitor
.