Lecture notes on realizability
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
ayberkt opened this issue 2 years ago · comments
In
notes-on-realizability/notes/models.tex
Lines 303 to 306 in 66918c0
I believe the n should be x?
n
x