News for hackers. Stuff that matters.

A comment on Formalizing 100 Theorems. Parent comment

Re:Formalizing 100 Theorems by riku_iki on Sunday November 05, 2023 @10:16AM (#38151813)
hol meaning higher order logic (https://en.wikipedia.org/wiki/Higher-order_logic) not the lang of hol prover.
[ Parent | on HN ]

There are no comments on this comment yet.