4 ms·
That’s not true either. Coq’s logic is significantly different to HoL.
by carnitine 3y ago
That’s not true either. Coq’s logic is significantly different to HoL.
- riku_iki 3y agohol 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.