5 citations · 18 across the 5 of their papers we have counts for
1 paper · 1 filter
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…