5 citations · 18 across the 5 of their papers we have counts for
1 paper · 2 filters
Matt Kaufmann, J Strother Moore
We report on improvements to ACL2 made since the 2013 ACL2 Workshop.