Get our free extension to see links to code for papers anywhere online!Free add-on: code for papers everywhere!Free add-on: See code for papers anywhere!
Add to Chrome
Add to Firefox
Add to EdgeProceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications
Paper and Code
Sep 26, 2020
This volume contains a selection of papers presented at the 16th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2-2020). The workshops are the premier technical forum for presenting research and experiences related to ACL2.
* EPTCS 327, 2020
View paper on