ZILtoid1991@lemmy.world to Programmer Humor@programming.dev · 3 个月前Meet Potential Languagelemmy.worldimagemessage-square37linkfedilinkarrow-up1227arrow-down17
arrow-up1220arrow-down1imageMeet Potential Languagelemmy.worldZILtoid1991@lemmy.world to Programmer Humor@programming.dev · 3 个月前message-square37linkfedilink
minus-squarebss03@infosec.publinkfedilinkEnglisharrow-up1·3 个月前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).
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).