18 citations · 22 across the 12 of their papers we have counts for
1 paper · 1 filter
Steven Obua
ProofPeer strives to be a system for cloud-based interactive theorem proving. After illustrating why such a system is needed, the paper presents some of the design challenges that…