98 citations · 200 across the 15 of their papers we have counts for
1 paper · 2 filters
Matt Kaufmann, J Strother Moore
The last several years have seen major enhancements to ACL2 functionality, largely driven by requests from its user community, including utilities now in common use such as 'make-e…