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