Awesome
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.
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.