News — Pixelift

This startup wants to change how mathematicians do math

Most modern mathematical proofs rely on trust in peer reviewers; however, the startup Lean FRO (Formalized Reasoning Organization) intends...