Fork me on GitHub
#off-topic
<
2017-02-27
>
qqq13:02:54

Anyone know how J-Bob and ACL2 differ?