Forum channel in ACL2
#wikipedians — forum for Wikipedians about leveraging the hub to improve its root Wikipedia article.
What are your thoughts?
Forum channel in ACL2
#wikipedians — forum for Wikipedians about leveraging the hub to improve its root Wikipedia article.
