knuton/proof-theory — pull request #25 by knuton (2012-10-21 01:06:51+00:00)
Title: Add optimistic outlook

Addendum?