19.11.08

Proofweb

Looks interesting, but I was unable to figure out how to get it to complete even a simple proof.

1 comment:

Luke Palmer said...

I've played with Coq and become pretty comfortable with it. But I also had trouble with ProofWeb. I had to look at the documentation to see what the tactics meant (they are lower-level than Coq's standard tactics). It wasn't too bad once I got the hang of it though.