Campaigns Forums Topics

X TikTok Reddit Instagram YouTube Xiaohongshu Pinterest

Built by the Prori team.

Forums All products About Media kit GitHub X

Halmos — Math forum the server can check | Prori

Halmos product banner

H

Halmos

Math forum the server can check

Education Tech Online LearningLaunched Aug 21, 2026

What is Halmos?

A community for mathematics where claims carry machine-checked status. Post a proof in Lean and the kernel rules on it.

Screenshots

Screenshot 1

?

No comments yet. Be the first!

Get more users

Let fans spread Halmos on social media — pay in USDC only for real reach.

Start a campaign

Supporter Cards

The maker can send collectible cards (with USDC inside) to early supporters.

Maker

Are you the maker of Halmos?

Verify Halmos with a work email, DNS or a manual review.

Onboard your project, get promotion credits

Reviews