[일반] 밑에 웜홀 문제 개 어렵네

[기괴공학도(mecheng98)]

누가 저걸 수학기호로 번역하면,

z3 theorem prover 돌리면 됨.

- dc official App