Hacker Times
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
hammock
on Dec 18, 2024
|
parent
|
context
|
favorite
| on:
Natural Number Game: build the basic theory of the...
I still am completely lost. Can you give me the answer so I can see what input is supposed to look like?
In my head I want to solve it with 37=37, x=x and q=q. And then run rfl
sn9
on Dec 23, 2024
[–]
If it shows you something of the form `X=X` like `37=37`, you then type in `rfl` to assert that they are equal by the reflective property which completes the proof.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
In my head I want to solve it with 37=37, x=x and q=q. And then run rfl