This is your work, valued

Germany

Andreas Piotrowski

Intermediate
@bookofproofs

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)

bookofproofs.github.io

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

11

fpl.net. F#

6

bookofproofs.github.io. HTML

6