ProofShare.co

About: ProofShare is an organization for sharing mathematical proofs. Specifically, formal proofs like the ones generated by the Lean prover.

Owner: Michael Nahas.

Email: mike@proofshare.co

Mailing Address: ProofShare i/c/o Michael Nahas, 2604 Paramount Ave., Austin, TX, 78704 USA