Halmos ∎
Write a post Ensaluti

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.

Sendu al ni reagon

Diru al ni, kio okazis aŭ kion vi atendis. Ni legas ĉiun mesaĝon.

Dankon — ni komprenis. Se vi lasos retpoŝton, ni respondos.