Search Results for author: Rob Sumners

Found 1 papers, 0 papers with code

Date Published Github Stars

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

no code implementations • 23 May 2022 • 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).

 
Paper
Add Code
Cannot find the paper you are looking for? You can Submit a new open access paper.
Contact us on: hello@paperswithcode.com . Papers With Code is a free resource with all data licensed under CC-BY-SA.
Terms Data policy Cookies policy