Tetrahedral Analog of the Pythagorean Theorem(johndcook.com)10 points by ibobev 11 months ago | 1 comments
OpenAI’s Navier-Stokes release included a Lean 4 formal proof(johndcook.com)142 points by ibobev 1 month ago | 142 comments