19.11.08

 

Proofweb

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

Comments:
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?