laarcnew | comments | discord | tags | ask | show | place | submit | /l/verificationlogin
1.
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 140 days ago | 1 comment

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

RSS (stories) | RSS (comments)

Search: