Quote


Voting: - 0 +
Deriving in the Hilbert system is kind of stupid.
— Sergei Artemov, CS 486 · 1998