Saturday, November 30, 2013

PeerProof

PeerProof is (going to be) a collaborative proof system - iterative theorem proving. Even has an acronym, ITP.

No comments:

Post a Comment