News for hackers. Stuff that matters.

A comment on Terence Tao, "Machine Assisted Proof" [video]. Parent comment

Re:Terence Tao, "Machine Assisted Proof" [video] by kaba0 on Thursday February 15, 2024 @03:43AM (#39380424)
I haven’t yet seen the video, nor am I familiar with the topic - could you please tell me what ITPs are?

Edit: are they interactive theorem provers?

[ Parent | on HN ]
Re:Terence Tao, "Machine Assisted Proof" [video] by chabulhwi on Thursday February 15, 2024 @11:10PM (#39393063)
Yes.
[ Parent | on HN ]