Halmos ∎
Write a post ننوتل

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.

موږ ته غبرګون لېږل

موږ ته ووايي چې څه وشول او يا څه تاسو تمه وه. موږ هر پیغام لوستل.

مننه - موږ دا ترلاسه کړ. که تاسو یو برېښنالیک پرېږدئ موږ به ځواب ورکړو.