Quote


Voting: - 0 +
It requires a lot of creativity, we don't like this.
— Sergei Artemov, referring to the Hilbert proof system · 1998