4 ms·

J Strother Moore has some good slides on industrial applications of ACL2 here: https://www.inf.ed.ac.uk/teaching/courses/ar/j_moore_sprint-through-45-years.pdf

by tonyg 8y ago

J Strother Moore has some good slides on industrial applications of ACL2 here: https://www.inf.ed.ac.uk/teaching/courses/ar/j_moore_sprint-through-45-years.pdf https://www.inf.ed.ac.uk/teaching/courses/ar/j_moore_sprint-...