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.

ফ'কাচ পঠাওক

কি ঘটিছে বা আপুনি কি আশা কৰিছিল আমাক কওক। আমি প্ৰতিটো বাৰ্তা পঢ়ো।

ধন্যবাদ — আমি ইয়াক পাইছো। আপুনি ই-মেইল দিলে আমি উত্তৰ দিম।