collaborators

1 paper

cs.LO2022

Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications

Rob Sumners, Cuong Chau

This volume contains a selection of papers presented at the 17th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2022). The workshops are the premier t…