List of forbidden translations extended to include Lean

Your solution isn't showing up for some reason. I added one so it wouldn't look weird, but still...

Approved, it looks funny.

Approved

Lean Translation Kumited - please accept :-D

Excellent!!!

pure magic that you do not need to look for the minimum value

As of now all x and y values are integers. If some solution doesn't return exact values, it's incorrect.

x

y

What's the point then to invent a wheel?

Well done!

List of forbidden translations extended to include Lean

List of forbidden translations extended to include Lean

List of forbidden translations extended to include Lean

Your solution isn't showing up for some reason. I added one so it wouldn't look weird, but still...

Approved, it looks funny.

Approved

Lean Translation Kumited - please accept :-D

Lean Translation Kumited - please accept :-D

Excellent!!!

pure magic that you do not need to look for the minimum value

As of now all

`x`

and`y`

values are integers. If some solution doesn't return exact values, it's incorrect.What's the point then to invent a wheel?

Well done!

## Loading more items...