4 ms·Here I think IT more likely means Intuitionistic Type Theory.by darzu 5y agoHere I think IT more likely means Intuitionistic Type Theory.