eth-acl2 This is still a prototype, see issue #1, issue #2 and issue #3 for things to do to make it complete. In addition to that, Kevin is primarily focusing on #4 and #5. Long term, #6 is also desirable.
