Church Project Theorem Guide

The Church Project Theorems are an integral part of what we do here. I have come to realize, however, that we've accumulated so many of them that it can be difficult to remember them all.

(Well, not for me, since I came up with all of them.)

But never fear! Remember, The Philadelphia Church Project has your best interests at heart. To help you out, here is a handy guide to all of our theorems: the names, the meanings and some prominent examples.