Presentations and papers about open proofs

From Openproofs

Jump to: navigation, search

Here are presentations and papers about open proofs: