Proofs

Small, running demonstrations of the ideas in the papers.

No proofs yet.