4 ms·
See also “Designing a Theorem Prover” https://arxiv.org/pdf/cs/9301110 https://arxiv.org/pdf/cs/9301110 And chapter 10 of ML for the working programmer, freely
by i_don_t_know 2y ago
See also “Designing a Theorem Prover” https://arxiv.org/pdf/cs/9301110 https://arxiv.org/pdf/cs/9301110
And chapter 10 of ML for the working programmer, freely available at https://www.cl.cam.ac.uk/~lp15/MLbook/pub-details.html https://www.cl.cam.ac.uk/~lp15/MLbook/pub-details.html