Halmos ∎
Write a post Logáil isteach

The Halmos community

Proofs you can build on.

Explore posts with proofs accepted by the Lean kernel.

Verified proofs

0 posts

  1. No posts in this time range yet.

    There may be more to discover in the archive.

    Explore all time

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.

Seol aiseolas chugainn

Inis dúinn cad a tharla nó cad a bhí tú ag súil leis. Léimid gach teachtaireacht.

Go raibh maith agat — fuair muid é. Má d'fhág tú ríomhphost, freagróimid.