Published onApril 3, 2025Lean 4 Game Server - Solving Robointeractive-theorem-provingleanmathematicsIn this post, I present the solutions to all levels of the Lean 4 Game Server's Robo game.
Published onDecember 7, 2024On the Rationalizability of Square Roots in Two VariablesmathematicsphysicsA practical guide on how to decide the rationalizability of square roots in two variables using Magma.