3 ms·
https://mitpress.mit.edu/9780262330572/the-little-prover/ https://mitpress.mit.edu/9780262330572/the-little-prover/
by Jtsummers 4y ago
https://mitpress.mit.edu/9780262330572/the-little-prover/ https://mitpress.mit.edu/9780262330572/the-little-prover/