activity
20112020
most citedHow Can I Do That with ACL2? Recent Enhancements to ACL2

5 citations · 18 across the 5 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2014★ 3 cited

Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4

Matt Kaufmann, J Strother Moore

We report on improvements to ACL2 made since the 2013 ACL2 Workshop.