Hello world!

This is the¬†website of the research project called The Readability of Proofs in Diagrammatic Logic (EPSRC¬†EP/M011763/1). The project starts in May 2015, and we’ll start adding content then.

In the meantime, you can read the summary of the project’s aims here.

Leave a Reply

Your email address will not be published. Required fields are marked *