Mathematics may be defined as the subject in which we never know what we are talking about, nor whether what we are saying is true. (Bertrand Russell, 1910)
fpl. FPL - the "Formal Proving Language" is a project to create a universal, human-readable language to formulate mathematical definitions, theorems, and proofs.
fpl.net. F#
bookofproofs.github.io. HTML