ZILtoid1991@lemmy.world to Programmer Humor@programming.dev · 9 days agoMeet Potential Languagelemmy.worldimagemessage-square35linkfedilinkarrow-up1225arrow-down17
arrow-up1218arrow-down1imageMeet Potential Languagelemmy.worldZILtoid1991@lemmy.world to Programmer Humor@programming.dev · 9 days agomessage-square35linkfedilink
minus-squarebss03@infosec.publinkfedilinkEnglisharrow-up1·1 day agoYeah, GRTT wasn’t really invented until 2021. Of course it borrows from many other theories, but it is not easy to fit under existing calculi (tho it can be “lowered” to MLTT).
Yeah, GRTT wasn’t really invented until 2021. Of course it borrows from many other theories, but it is not easy to fit under existing calculi (tho it can be “lowered” to MLTT).