4 ms·

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?

• chabulhwi 3y ago
  Yes.