I'm the designer of Par2, employee #7 of a successful startup (Broadway Technology LLC), a former Wall Street quant, and winner of two research grants. I'm loo

I'm the designer of Par2, employee #7 of a successful startup (Broadway Technology LLC), a former Wall Street quant, and winner of two research grants. I'm looking at starting a company/public-benefit-corporation/non-profit to support formal math. The Lean prover (similar to Coq) is gaining traction, but academics and large corporations are not always good at innovation. There are multiple potential products to consider creating. Near-term plans are to pick one and apply to "America's Seed Fund" (SBIR) for initial funding. Will also consider angel funding and, obviously, applying to Y Combinator. I'm looking for someone else who wants to join me and can fund themselves for 6 to 9 months, until initial funding arrives. Ideally, someone experienced in formal math and with startups. But I'm open to anyone who is passionately interested in math and has significant skills to bring to the table. Skills include: running an early startup, running scalable online systems, growing an online community, grant writing, and ... a lot more than I can list, but those are the big ones. I'm based in Austin but am willing to move to work together. Contact me at hackernews2022@mike.nahasmail.com P.S. Just finished the draft specification for Par3. https://parchive.github.io/ https://parchive.github.io/