2 ms·
I'm assuming that program is more approachable than something like Coq or others? I used ACL2 a bit in college, and could imagine people being frustrated trying
by nixpulvis 8y ago
I'm assuming that program is more approachable than something like Coq or others? I used ACL2 a bit in college, and could imagine people being frustrated trying to learn it on their own.
- pvarangot 8y agoIt's infinitely more approachable than Coq/PVS or whatever other theorem prover since it was designed for teaching and not a research tool or potential application to actually verifying properties of complex systems.