laarcnew | comments | discord | tags | ask | show | place | submitlogin
Proof Pad: A modern development environment for ACL2 with all the trimmings (proofpad.org)
4 points by rain1 to news verification proof formal.proof software 279 days ago | 1 comment



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: