FPL - the "Formal Proving Language" is a project to create a universal, human-readable language to formulate mathematical definitions, theorems, and proofs. - View it on GitHub