Add link to "Proof Spaces for Unbounded Parallelism"
fix: format
Merge pull request #26 from cabrera/proof-spaces

Add link to "Proof Spaces for Unbounded Parallelism"