Hacker News new | ask | show | jobs
by carnitine 957 days ago
That’s not true either. Coq’s logic is significantly different to HoL.
1 comments
riku_iki 957 days ago
hol meaning higher order logic (https://en.wikipedia.org/wiki/Higher-order_logic) not the lang of hol prover.
link