3 ms·
I'm currently reading "The little prover". A really good book that explains this. http://the-little-prover.github.io/ http://the-little-prover.github.io/
by AlexanderDhoore 8y ago
I'm currently reading "The little prover". A really good book that explains this.
http://the-little-prover.github.io/ http://the-little-prover.github.io/