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