laarcnew | comments | discord | tags | ask | show | place | submitlogin

Thanks for sharing. I want to have a look at ACL2 for ages now. Anyone know the status of ACL2? Is it still well maintained and evolving?



Welcome | Guidelines | Bookmarklet | Feature Requests | Source | Contact | Twitter | Lists

RSS (stories) | RSS (comments)

Search: