Post

A formal Lean 4 proof for the taxicab Erdős-Mordell conjecture github.com/cozuya/taxic...

github.comGitHub - cozuya/taxicab-erdos-mordell: A Lean-verified proof of the taxicab Erdős–Mordell conjecture for arbitrary triangle orientations, with sharpness.A Lean-verified proof of the taxicab Erdős–Mordell conjecture for arbitrary triangle orientations, with sharpness. - cozuya/taxicab-erdos-mordell

16/10/26, 2:32 pm0 reposts0 likes

No replies yet.