kidhero

Fit problems

1

When I raised my computer screen resolution to 2K, the blog post could not be displayed in full screen. When I read a blog using my iPhone 8 browser, the...

`%` bug

3

`(1 ^ 2 + 2 ^ 2 + 3 ^ 2 + 4 ^ 2 + 5 ^ 2 + 6 ^ 2 + 7 ^ 2 + 8 ^...

Litex code: ```litex """ To solve the system of equations: 2x + 3y = 10 4x + 5y = 14 """ let x R, y R: 2 * x +...

Litex Code: ```litex claim: forall x R: 2 ^ 8 = 4 ^ x =>: x = 4 prove: 2 ^ 8 = (2 ^ 2) ^ 4 = 4...

Some step need to be improved in polynomial transformation

1

Question from minif2f (mathd_numbertheory_430): If $A$, $B$, and $C$ represent three distinct digits from 1 to 9 and they satisfy the following equations, what is the value of the sum...

I noticed that Domain of `log(x, y)` is `x, y R: x > 0, x != 1, y > 0 `. I believe `x > 0` is enough. Error Log:...