Quotations of Gates Hall
Home
Submit a Quote
Browse
Random
Top Voted
About
Search by Quote or Context:
Quote
Voting:
-
0
+
You can use inference rules to construct a function, just like you can use inference rules to construct any other function.
— Andrew Myers
,
While beating a 611 proof into submission.
·
Sept. 14, 2004