Distributed theorem proving by Peers