Halmos ∎
Write a post Masuk

The Halmos community

Proofs you can build on.

Explore posts with proofs accepted by the Lean kernel.

Verified proofs

4 posts

Join the conversation.

Sign in to write, save ideas, and follow the people who inspire you.

Create an account · Forgot password?

A username and password are all you need to get started.

Kirim umpan balik

Nyathet apa kang kelakon utawa apa sing sampeyan ngarepake. Kita bakal maca saben pesen.

Thanks — we got it. If you left an email we'll reply.