4 ms·
Glad too see that I am not the only person to quite excited about the The Little Prover. Don't think I have ever felt this way about the release of a CS book.
by rdc12 11y ago
Glad too see that I am not the only person to quite excited about the The Little Prover. Don't think I have ever felt this way about the release of a CS book.