Zendesk for StartupsUp to 2 years free for startups + AI Agents & Copilot
Promoted
Halmos
Math forum the server can check
1 follower
Math forum the server can check
1 follower
A community for mathematics where claims carry machine-checked status. Post a proof in Lean and the kernel rules on it.
