Sign in Sign up
brintos

brintos / llvm-project-archived public Read only

0
0
Fork 0
Text · 64 B · 8f4fd1d Raw
4 lines · plain
1{[x]}2{[x] -> [y] : y = 2x}3{[y]: Exists ( alpha : 2alpha = y)}4