Lean इंजीनियर, फ़ॉर्मल गणित (Lean 4, Mathlib, थ्योरम प्रूविंग) के लिए आवेदन करें

आवेदन करने के लिए नीचे दिया गया फ़ॉर्म भरें। हम आपके आवेदन की समीक्षा करेंगे और आपसे संपर्क करेंगे।