Comment by kbrannigan

That is a very interesting perspective. What is the purpose of that corpus. Are all theorems or axioms useful?