For those - like me - who don't know what ACL2 is: https://en.wikipedia.org/wiki/ACL2 https://en.wikipedia.org/wiki/ACL2 It is a environment for formal logic

For those - like me - who don't know what ACL2 is: https://en.wikipedia.org/wiki/ACL2 https://en.wikipedia.org/wiki/ACL2 It is a environment for formal logic and theorem proving.