Halmos ∎
Write a post Mewngofnodi

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.

Anfon adborth atom

Dywedwch wrthym beth ddigwyddodd neu beth oeddech yn disgwyl. Rydym yn darllen pob neges.

Diolch - rydym wedi ei gael. Os ydych wedi gadael ebost, byddwn yn ymateb.