apps
Interactive AI products backed by a repository. CoolFace lists them; the app itself runs at the source.
mathematical-mandalas-gond-madhubani-fusionnumwiz-the-mathematical-mind-readerrepro-mathliblemma-folklore-lemma-generation-and-benchmark-for-formal-mathematicsrepro-why-agentic-theorem-prover-works-a-statistical-provability-theory-of-mathematical-reasoninMathematician_chatbot_aratirepro-why-agentic-theorem-prover-works-a-statistical-provability-theory-of-mathematical-reasoninrepro-why-agentic-theorem-prover-works-a-statistical-provability-theory-of-mathematical-reasoninrepro-came-grad-mathematical-auditrepro-why-agentic-theorem-prover-works-a-statistical-provability-theory-of-mathematical-reasrepro-why-agentic-theorem-prover-works-a-statistical-provability-theory-of-mathematical-reasonin