What is the type of Type? Englishtype-theorylogictheorem-proversagdaidriscoqShould type of `Type` be also `Type`? Or is there an alternative?Published onMarch 20, 2022