3 ms·
If you want a gentle introduction you may like this book http://the-little-prover.github.io/ http://the-little-prover.github.io/
by plafl 5y ago
If you want a gentle introduction you may like this book http://the-little-prover.github.io/ http://the-little-prover.github.io/