3 ms·
These are ideas are implemented in the theorem prover HOL light https://www.cl.cam.ac.uk/~jrh13/hol-light/ https://www.cl.cam.ac.uk/~jrh13/hol-light/ I find th
by alan-crowe 7y ago
These are ideas are implemented in the theorem prover HOL light https://www.cl.cam.ac.uk/~jrh13/hol-light/ https://www.cl.cam.ac.uk/~jrh13/hol-light/
I find the discussion in of logic in https://sites.math.northwestern.edu/~richter/HolInformalMath.pdf https://sites.math.northwestern.edu/~richter/HolInformalMath... more concrete and more accessible.