5 ms·
I guess both (no implementations, no users) were meant in relative terms, and in that light they describe reality pretty well. Hands up, who has heard of ACL2
by moe 17y ago
I guess both (no implementations, no users) were meant in relative terms, and in that light they describe reality pretty well.
Hands up, who has heard of ACL2 before?
- rbanffy 17y agoI did. In fact, I am appalled so few people, apparently, heard of it.
- jrockway 17y agoAny programming language that can't be cut-n-pasted from fifty different websites to make my SQL-injection-rich AJAX social awesome NoSQL site just isn't worth knowing. Theorem proving -- you ain't gonna need it! What's next, you're going to tell me you write unit tests? Hahahahah.
- rbanffy 17y agoIn theory, at least, I wouldn't need them for I proof the program is correct ;-)
- sigstoat 17y agome. i've even used similar tools.