3 ms·
hol meaning higher order logic (https://en.wikipedia.org/wiki/Higher-order_logic https://en.wikipedia.org/wiki/Higher-order_logic) not the lang of hol prover.
by riku_iki 3y ago
hol meaning higher order logic (https://en.wikipedia.org/wiki/Higher-order_logic https://en.wikipedia.org/wiki/Higher-order_logic) not the lang of hol prover.