Extended Abstract: Iteration in ACL2, WITH .. DO
Matt Kaufmann and J Moore
May 26, 2022
Slides
Demo input file
Demo output (log) file