Picture for J Strother Moore

J Strother Moore

UT Austin, retired

Advances in ACL2 Proof Debugging Tools

Add code
Nov 15, 2023
Viaarxiv icon

Automation of Mathematical Induction as part of the History of Logic

Add code
Jul 28, 2014
Figure 1 for Automation of Mathematical Induction as part of the History of Logic
Figure 2 for Automation of Mathematical Induction as part of the History of Logic
Figure 3 for Automation of Mathematical Induction as part of the History of Logic
Figure 4 for Automation of Mathematical Induction as part of the History of Logic
Viaarxiv icon

Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4

Add code
Jun 06, 2014
Viaarxiv icon

Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1

Add code
Apr 30, 2013
Viaarxiv icon