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

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.
Post a Comment

<< Home

This page is powered by Blogger. Isn't yours?