Hi all, I'd really appreciate your feedback on The Math Genome Project <https://www.themathgenome.com/>.
Our goal is to provide the 1st marketplace and social platform for higher mathematics. Where anyone can make a living (or a serious side-hustle) doing proof curation, writing, and formalization projects (Lean, Coq, HOL, Metamath). A big motivation was empowering respective formal communities and creating opportunities for paid formalization projects -- so people can spend more time doing what they love. The website is here: https://www.themathgenome.com/ Here is the LinkedIn post <https://www.linkedin.com/posts/johnmercer_mathematics-generativeai-activity-7084671465488281600-3rxe?utm_source=share&utm_medium=member_desktop> and our Twitter announcement <https://twitter.com/TheMathGenome/status/1678909712027320320> if you'd be so kind to re-post/tweet to help spread the word. Look forward to your feedback and feature requests in general (informal or formal side) and specific things we can do to help the Metamath community. -- Best, John -------------------------------------------------------------------- *John Mercer, Founder of The Math Genome Project* *Democratizing higher mathematics with the 1st marketplace and social platform for mathematical proof curation, writing, and formalization.* *Website:* https://www.themathgenome.com/ *Twitter:* https://twitter.com/TheMathGenome
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
