5 citations · 18 across the 5 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…