= 27d567bc2d48d9f40e9ccc20ea370b15)
snarles comments on Automated theorem proving - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (5)
Any such information would be appreciated, though in this post I'm primarily asking "what would be the benefits of having sophisticated tools for automatic proving and verification?"