knuton/proof-theory — pull request #1 by knuton (2012-10-05 10:47:35+00:00)
Title: Add draft for project description

After doing some reading this is my first idea of what a good scope might be. Discuss!