ProofShare.html

<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html>

<head>
<title>ProofShare.co</title>
</head>

<body>
<h1>ProofShare.co</h1>

<p><b>About:</b> ProofShare is an organization for sharing mathematical proofs.  Specifically, formal proofs like the ones generated by the <a href="https://leanprover-community.github.io/">Lean prover</a>.</p>

<p><b>Owner:</b> <a href="index.html">Michael Nahas</a>.</p>

<p><b>Email:</b> mike@proofshare.co</p>

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

</body>

</html> 